Re: Minor buglet in config.log

[Ralf Wildenhues]

Hi Jeff,

* Jeff Squyres wrote on Fri, Jun 05, 2009 at 01:19:57PM CEST:
> As far back as I can remember, when you run
>
>     ./configure FOO="bar baz yow" --prefix=/tmp/somewhere
>
> it shows up in the first few lines of config.log as
>
>     $ ./configure FOO=bar baz yow --prefix=/tmp/somewhere
>
> Which means that if you want to cut-n-paste the exact configure string  
> that was used to run configure, you have to go manually insert the  
> quotes before executing it.

Yep.  Alas, fixing that is nontrivial.  What you can instead do now,
however, is use the output of
  ./config.status --version

which you can then at least more or less cut and paste.

> Is there any chance of getting autoconf to quote the full FOO token in  
> config.log?  I realize that the shell strips out the quotes by the time 
> autoconf gets the argv; autoconf would have to detect that there is 
> whitespace in a token and insert quotes manually when writing  
> config.log.

I can look into it again sometime.

Cheers,
Ralf