[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Minor buglet in config.log

From: Ralf Wildenhues
Subject: Re: Minor buglet in config.log
Date: Fri, 5 Jun 2009 19:26:44 +0200
User-agent: Mutt/1.5.18 (2008-05-17)

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]