config.lib
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