changeset 6035 | 9009f472b356 |
parent 6034 | 7a125490f55c |
child 6046 | 67e9b9e2ef98 |
--- 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