branch | NewGRF_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;