changeset 6361 | 8fc35d15114f |
parent 6360 | 37f43b7ce27b |
child 6372 | 6721af3ce810 |
--- a/config.lib Fri Feb 16 09:50:28 2007 +0000 +++ b/config.lib Fri Feb 16 10:08:38 2007 +0000 @@ -782,7 +782,7 @@ CFLAGS="$CFLAGS -DWIN32_ENABLE_DIRECTMUSIC_SUPPORT" fi - if [ "$with_libtimidity" != "0" ]; then + if [ -n "$libtimidity" ]; then if [ "$enable_static" != "0" ]; then LIBS="$LIBS $libtimidity" else