|
|
@ -123,7 +123,7 @@ AWKCOMMAND='
|
|
|
|
if ($0 == "MSVC" && "'$os'" != "MSVC") { next; }
|
|
|
|
if ($0 == "MSVC" && "'$os'" != "MSVC") { next; }
|
|
|
|
if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" == "0") { next; }
|
|
|
|
if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" == "0") { next; }
|
|
|
|
if ($0 == "FLUIDSYNTH" && "'$fluidsynth'" == "" ) { next; }
|
|
|
|
if ($0 == "FLUIDSYNTH" && "'$fluidsynth'" == "" ) { next; }
|
|
|
|
if ($0 == "HAVE_THREAD" && "'$with_threads'" == "0") { next; }
|
|
|
|
if ($0 == "USE_THREADS" && "'$with_threads'" == "0") { next; }
|
|
|
|
if ($0 == "SSE" && "'$with_sse'" != "1") { next; }
|
|
|
|
if ($0 == "SSE" && "'$with_sse'" != "1") { next; }
|
|
|
|
|
|
|
|
|
|
|
|
skip += 1;
|
|
|
|
skip += 1;
|
|
|
|