'configure-args.delete' bug?

[vincent habchi]

Le 7 déc. 2011 à 17:32, Jeremy Lavergne <jeremy at lavergne.gotdns.org> a écrit :

>> Notice the '-C' before 'xc' has (wrongly) been removed, but the one before
>> 'if /opt/local/bin/gfortran-mp-4.5' has (wrongly) remained, causing a
>> configure error.
>> 
>> Any idea?
> 
> Since it involves a space, what does quoting the whole thing you want
> removed do?

It should work (I can’t try it right now) but it is inconsistent with configure.add syntax. IMHO, both should require spaces, or none.

Vincent