'configure-args.delete' bug?

[Joshua Root]

On 2011-12-8 05:23 , vincent habchi wrote:
> Well, bad news: It does not work. If I quote the whole line using double quotes "", nothing gets deleted. If I use simple quotes '', for whatever reason, only the 'if' token gets discarded. So it seems to be a *real* bug.

It's not a bug just because it doesn't work the way you want it to. :-)

There are ports that rely on the current behaviour, so we can't just
change it. You can probably accomplish what you want using strsed or
'string map'.

- Josh