configure
changeset 6361 8fc35d15114f
parent 6360 37f43b7ce27b
child 6407 483c1328a349
equal deleted inserted replaced
6360:37f43b7ce27b 6361:8fc35d15114f
    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" && "'$with_libtimidity'" == "0")   { next; }
    85 		if ($0 == "LIBTIMIDITY" && "'$libtimidity'" == "" )        { next; }
    86 
    86 
    87 		skip += 1;
    87 		skip += 1;
    88 
    88 
    89 		next;
    89 		next;
    90 	}
    90 	}