Re: auto-regenerating Makefile.in and Makefile files

[Earnie Boyd]

"Schleicher Ralph (LLI)" wrote:
> 
> 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).
> 

Doesn't `./config.status -recheck && ./config.status' do what you need? 
That is what automake causes the Makefile to do and what Ralf meant with
his "make" answer.  What do you mean by "user-defined configure
options"?

Earnie.