>>>>> "Peter" == Peter Eisentraut <[EMAIL PROTECTED]> writes:

Peter> Make config.status put all the configuration information into a
Peter> single makefile and have all the other makefiles include that
Peter> one.  It's saved me many boring waits.

That's an interesting idea.  We could even implement this in automake,
though it might require some assistance from autoconf.

Tom

Reply via email to