Re: auto-regenerating Makefile.in and Makefile files

[Schleicher Ralph (LLI)]

Ralf Corsepius <address@hidden> writes:

> Am Mit, 2002-07-03 um 09.44 schrieb Ionutz Borcoman:
> > Or is there a simple command to do this (but keeping all the options
> > I've give to configure) ?
> "make"

Wrong answer.  Read the question more carefully.

To the Automake maintainers: please device a way for adding user-defined
configure options to configure when re-running configure (e.g., grep the
configure command line from config.log).

-- 
Ralph