configure
changeset 6035 9009f472b356
parent 6034 7a125490f55c
child 6081 57d2fa5e3073
--- 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;