Re: Quoting special characters (was: Re: Possible solution for special characters in makefile paths)

Eli Zaretskii wrote:

> > Date: Tue, 25 Feb 2014 20:41:36 +0100
> > Cc: [email protected]
> > From: Frank Heckenbach <[email protected]>
> > 
> > > I think we will need to provide a quoting function, something like a
> > > wrapper for the gnulib's quotearg module,
> > 
> > I agree. Though as discussed elsewhere, I'd prefer for make to
> > support full shell-style quoting, thus $(quote) could just add ''
> > and escape embedded ' characters.
> 
> When Make produces file names, like in a call to $wildcard, it should
> apply quoting automatically, I think.  But we will still need a
> function for the users to quote those parts of the commands which need
> quoting.  This is for those cases where the string didn't come from
> Make, but was produced by some string manipulation, where Make cannot
> possibly track all the quotes that get added or removed.

Or from an environment/command line variable where make cannot know
its intention when it gets it.

I think we agree here.