Re: config.status --recheck != configure

2002-10-14 Thread Peter Eisentraut
Akim Demaille writes: > Both: by accident what you propose is having ./config.status kill > itself by running configure which creates it. So by design, it is > avoided. But 'config.status --recheck' *does* recreate config.status. -- Peter Eisentraut [EMAIL PROTECTED]

Re: config.status --recheck != configure

2002-10-14 Thread Soren A
Bob Friesenhahn <[EMAIL PROTECTED]> wrote in [EMAIL PROTECTED]:">news:[EMAIL PROTECTED]: > On a related topic, the message printed by 'config.status --recheck' > is incorrect. The message printed is not properly quoted. For > example: > > % ./config.status --recheck > running /bin/bash /home/

Re: config.status --recheck != configure

2002-10-13 Thread Bob Friesenhahn
On 13 Oct 2002, Akim Demaille wrote: > > "Bob" == Bob Friesenhahn <[EMAIL PROTECTED]> writes: > > Bob> I have learned the hard way that 'config.status --recheck' > Bob> produces incomplete results as compared to the original > Bob> 'configure' that created config.status. I assume that this i

Re: config.status --recheck != configure

2002-10-13 Thread Akim Demaille
> "Bob" == Bob Friesenhahn <[EMAIL PROTECTED]> writes: Bob> I have learned the hard way that 'config.status --recheck' Bob> produces incomplete results as compared to the original Bob> 'configure' that created config.status. I assume that this is Bob> because config.status runs configure wit

config.status --recheck != configure

2002-10-12 Thread Bob Friesenhahn
I have learned the hard way that 'config.status --recheck' produces incomplete results as compared to the original 'configure' that created config.status. I assume that this is because config.status runs configure with the extra options '--no-create --no-recursion'. Is this shortcoming by design