"Schleicher Ralph (LLI)" wrote: > > Ralf Corsepius <[EMAIL PROTECTED]> 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.
