branch | NewGRF_ports |
changeset 6732 | ca1b466db422 |
parent 6720 | 35756db7e577 |
child 6872 | 1c4a4a609f85 |
--- a/configure Sun Jul 22 21:10:59 2007 +0000 +++ b/configure Sun Jul 22 21:24:42 2007 +0000 @@ -96,6 +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; } skip += 1;