author | glx |
Sat, 06 Jan 2007 20:39:27 +0000 | |
changeset 5800 | 302fcf9afa49 |
parent 5799 | af451ad48a3c |
child 5801 | 7d14e62bc9f3 |
config.lib | file | annotate | diff | comparison | revisions |
--- 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" ]