changeset 6360 | 37f43b7ce27b |
parent 6208 | ff9b5772fb65 |
child 6361 | 8fc35d15114f |
--- a/configure Fri Feb 16 09:39:32 2007 +0000 +++ b/configure Fri Feb 16 09:50:28 2007 +0000 @@ -82,6 +82,7 @@ if ($0 == "WINCE" && "'$os'" != "WINCE") { next; } if ($0 == "MSVC" && "'$os'" != "MSVC") { next; } if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" == "0") { next; } + if ($0 == "LIBTIMIDITY" && "'$with_libtimidity'" == "0") { next; } skip += 1;