Re: GNU make vs. BSD make

On Aug 18, 2000, Ben Collins-Sussman <sussman@newton.collab.net> wrote:

> -include $(DEP_FILES)

> However, everything builds fine with "gmake" (!)

automake 1.4 requires GNU make except for Makefiles generated by `make
dist'. CVS automake uses a different strategy for collecting
dependencies, that is far more portable, so it works with non-GNU
make even before `make dist'.

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