changeset 6361 | 8fc35d15114f |
parent 6360 | 37f43b7ce27b |
child 6407 | 483c1328a349 |
--- a/configure Fri Feb 16 09:50:28 2007 +0000 +++ b/configure Fri Feb 16 10:08:38 2007 +0000 @@ -82,7 +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; } + if ($0 == "LIBTIMIDITY" && "'$libtimidity'" == "" ) { next; } skip += 1;