changeset 7294 | b53e8aae866c |
parent 6901 | ad8e8b93060d |
child 8080 | 6927201dcff3 |
--- a/configure Fri Jul 20 17:32:27 2007 +0000 +++ b/configure Fri Jul 20 18:34:21 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;