Re: Quotes after --args

[Eli Zaretskii <eliz@gnu.org>]

> Date: Sat, 09 Jun 2012 17:33:47 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: bhr2@gmx.de
> 
> Any objections to the patch below, which fixes this problem?  (I tried
> to minimize uglifying the original sources; if someone sees a better
> way, please tell.)
> 
> 
> 2012-06-09  Eli Zaretskii  <eliz@gnu.org>
> 
> 	* infcmd.c (construct_inferior_arguments) [__MINGW32__]: Quote
> 	special characters correctly for the Windows shells.  See
> 	http://sourceware.org/ml/gdb/2012-06/msg00047.html for the bug
> 	report.
> 
> --- infcmd.c~0	2012-02-23 10:18:38.000000000 +0200
> +++ infcmd.c	2012-06-09 17:20:57.750500000 +0300
> @@ -275,10 +275,18 @@ construct_inferior_arguments (int argc, 
>  
>    if (STARTUP_WITH_SHELL)
>      {
> +#ifdef __MINGW32__
> +      /* This holds all the characters considered special to the
> +	 Windows shells.  */
> +      char *special = "\"!&*|[]{}<>?`~^=;, \t\n";
> +      const char quote = '"';
> +#else
>        /* This holds all the characters considered special to the
>  	 typical Unix shells.  We include `^' because the SunOS
>  	 /bin/sh treats it as a synonym for `|'.  */
>        char *special = "\"!#$&*()\\|[]{}<>?'\"`~^; \t\n";
> +      const char quote = '\'';
> +#endif

Btw, any idea why the Unix special characters mention the quote "
twice (see above)?