# HG changeset patch
# User glx
# Date 1227998454 0
# Node ID 4441e16edb5226421d97cb3768383ffd1a01e238
# Parent  306d24c840f457ae0f7f9c215745ac1957dd2fa1
(svn r14644) -Fix: --with-direct-music handling could fail

diff -r 306d24c840f4 -r 4441e16edb52 config.lib
--- a/config.lib	Sat Nov 29 21:27:15 2008 +0000
+++ b/config.lib	Sat Nov 29 22:40:54 2008 +0000
@@ -637,9 +637,9 @@
 	detect_pspconfig
 	detect_libtimidity
 
-	if [ "$with_direct_music" = "1" ] || [ "$with_direct_music" = "2" ]; then
+	if [ "$with_direct_music" != "0" ]; then
 		if [ "$os" != "MINGW" ] && [ "$os" != "CYGWIN" ]; then
-			if [ "$with_direct_music" = "2" ]; then
+			if [ "$with_direct_music" != "1" ]; then
 				log 1 "configure: error: direct-music is only supported on Win32 targets"
 				exit 1
 			fi
@@ -1613,7 +1613,7 @@
 	rm -f direct_music.test.c direct_music.test
 
 	if [ "$res" != "0" ]; then
-		if [ "$with_direct_music" = "2" ]; then
+		if [ "$with_direct_music" != "1" ]; then
 			log 1 "configure: error: direct-music is not available on this system"
 			exit 1
 		fi