configure
changeset 7790 73f48009ce0c
parent 7397 d371cc0fbb3c
child 8576 e11e6355f53c
equal deleted inserted replaced
7789:bda67a697f68 7790:73f48009ce0c
    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 	}