configure
changeset 6361 8fc35d15114f
parent 6360 37f43b7ce27b
child 6407 483c1328a349
--- 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;