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.
