On Mar 5, 2001, Tom Tromey <[EMAIL PROTECTED]> wrote:
> We use a rule that rebuilds Makefile if Makefile.in has changed. GNU
> make will try to build `Makefile', if such a target exists, before
> running any other target, including `distclean'.
Maybe we could convince the maintainer(s?) of GNU make to introduce an
extension: some way to mark certain targets as not requiring a
Makefile update.
--
Alexandre Oliva Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist *Please* write to mailing lists, not to me
