changeset 6035 | 9009f472b356 |
parent 6034 | 7a125490f55c |
child 6081 | 57d2fa5e3073 |
--- 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;