# HG changeset patch
# User glx
# Date 1168115967 0
# Node ID 302fcf9afa491e2c88df7fae1cee5306b44a01d9
# Parent  af451ad48a3c05d67707e1b50c78b51cb8f4463b
(svn r7922) -Fix: bad escaping in CFLAGS

diff -r af451ad48a3c -r 302fcf9afa49 config.lib
--- a/config.lib	Sat Jan 06 14:29:07 2007 +0000
+++ b/config.lib	Sat Jan 06 20:39:27 2007 +0000
@@ -849,11 +849,11 @@
 
 	if [ -n "$with_midi" ]
 	then
-		CFLAGS="$CFLAGS -DEXTERNAL_PLAYER=\"$with_midi\""
+		CFLAGS="$CFLAGS -DEXTERNAL_PLAYER=\\\\\"$with_midi\\\\\""
 	fi
 	if [ -n "$with_midi_arg" ]
 	then
-		CFLAGS="$CFLAGS -DMIDI_ARG=\"$with_midi_arg\""
+		CFLAGS="$CFLAGS -DMIDI_ARG=\\\\\"$with_midi_arg\\\\\""
 	fi
 
 	if [ "$enable_dedicated" != "0" ]