changeset 7790 | 73f48009ce0c |
parent 7397 | d371cc0fbb3c |
child 8576 | e11e6355f53c |
--- 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;