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).

-- 
Ralph


Reply via email to