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