configure
branchcustombridgeheads
changeset 5645 72ebd9e4cd64
parent 5643 3778051e8095
child 5648 1608018c5ff2
--- a/configure	Wed Jan 03 08:55:13 2007 +0000
+++ b/configure	Wed Jan 03 08:56:09 2007 +0000
@@ -33,7 +33,7 @@
 fi
 
 set_default
-detect_params $@
+detect_params "$@"
 save_params
 check_params
 make_cflags_and_ldflags
@@ -82,7 +82,7 @@
 		if ($0 == "WIN32"       && "'$os'" != "MINGW" &&
 		                "'$os'" != "CYGWIN" && "'$os'" != "MSVC" ) { next; }
 		if ($0 == "MSVC"        && "'$os'" != "MSVC")              { next; }
-		if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" != "1")  { next; }
+		if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" == "0")  { next; }
 
 		skip += 1;