configure
changeset 8934 f46812d21fe6
parent 8289 6eaeffc28704
child 9119 b3c7c5973771
--- a/configure	Mon Apr 14 17:50:15 2008 +0000
+++ b/configure	Mon Apr 14 19:54:33 2008 +0000
@@ -96,7 +96,7 @@
 		if ($0 == "MSVC"        && "'$os'" != "MSVC")              { next; }
 		if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" == "0")  { next; }
 		if ($0 == "LIBTIMIDITY" && "'$libtimidity'" == "" )        { next; }
-		if ($0 == "NO_THREADS"  && "'$with_threads'" == "0")       { next; }
+		if ($0 == "HAVE_THREAD" && "'$with_threads'" == "0")       { next; }
 
 		skip += 1;