configure
changeset 8934 f46812d21fe6
parent 8289 6eaeffc28704
child 9119 b3c7c5973771
equal deleted inserted replaced
8933:c1f075679c2e 8934:f46812d21fe6
    94 		                "'$os'" != "CYGWIN" && "'$os'" != "MSVC" ) { next; }
    94 		                "'$os'" != "CYGWIN" && "'$os'" != "MSVC" ) { next; }
    95 		if ($0 == "WINCE"       && "'$os'" != "WINCE")             { next; }
    95 		if ($0 == "WINCE"       && "'$os'" != "WINCE")             { next; }
    96 		if ($0 == "MSVC"        && "'$os'" != "MSVC")              { next; }
    96 		if ($0 == "MSVC"        && "'$os'" != "MSVC")              { next; }
    97 		if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" == "0")  { next; }
    97 		if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" == "0")  { next; }
    98 		if ($0 == "LIBTIMIDITY" && "'$libtimidity'" == "" )        { next; }
    98 		if ($0 == "LIBTIMIDITY" && "'$libtimidity'" == "" )        { next; }
    99 		if ($0 == "NO_THREADS"  && "'$with_threads'" == "0")       { next; }
    99 		if ($0 == "HAVE_THREAD" && "'$with_threads'" == "0")       { next; }
   100 
   100 
   101 		skip += 1;
   101 		skip += 1;
   102 
   102 
   103 		next;
   103 		next;
   104 	}
   104 	}