Re: nit about ./config.status

[Simon Josefsson]

On Sun, 20 Jan 2002, Peter Eisentraut wrote:

> You could use 'head config.log' for this purpose, which gives you
> something like:
> 
> """
> [...]
> It was created by GNU Autoconf configure 2.52g, which was
> generated by GNU Autoconf 2.52g.  Invocation command line was
> 
>   $ ./configure --prefix=/home/peter/gnu/

Thank you, this was what I wanted.  The old autoconf didn't put the 
comment in config.log though, but I guess looking in config.log for one 
version and config.status for another works.