configure
branchNewGRF_ports
changeset 10211 c1391c8ed5c6
parent 6872 1c4a4a609f85
child 10724 68a692eacf22
--- a/configure	Wed Apr 16 22:16:04 2008 +0000
+++ b/configure	Wed Apr 16 22:34:14 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;