changeset 5549 | 85d90ea63b6f |
parent 5541 | f034f6f60d88 |
child 5551 | bfd85f0c196d |
--- 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" ]