configure
changeset 7294 b53e8aae866c
parent 6901 ad8e8b93060d
child 8080 6927201dcff3
equal deleted inserted replaced
7293:e62b277bc10e 7294:b53e8aae866c
    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 
   100 
   100 		skip += 1;
   101 		skip += 1;
   101 
   102 
   102 		next;
   103 		next;
   103 	}
   104 	}