configure
branchcpp_gui
changeset 6254 abc6ad7c035c
parent 6208 ff9b5772fb65
child 6268 4b5241e5dd10
equal deleted inserted replaced
6253:23983700e3d7 6254:abc6ad7c035c
    80 		if ($0 == "WIN32"       && "'$os'" != "MINGW" &&
    80 		if ($0 == "WIN32"       && "'$os'" != "MINGW" &&
    81 		                "'$os'" != "CYGWIN" && "'$os'" != "MSVC" ) { next; }
    81 		                "'$os'" != "CYGWIN" && "'$os'" != "MSVC" ) { next; }
    82 		if ($0 == "WINCE"       && "'$os'" != "WINCE")             { next; }
    82 		if ($0 == "WINCE"       && "'$os'" != "WINCE")             { next; }
    83 		if ($0 == "MSVC"        && "'$os'" != "MSVC")              { next; }
    83 		if ($0 == "MSVC"        && "'$os'" != "MSVC")              { next; }
    84 		if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" == "0")  { next; }
    84 		if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" == "0")  { next; }
       
    85 		if ($0 == "LIBTIMIDITY" && "'$libtimidity'" == "" )        { next; }
    85 
    86 
    86 		skip += 1;
    87 		skip += 1;
    87 
    88 
    88 		next;
    89 		next;
    89 	}
    90 	}