gdb/gnulib problems with BSD operating systems

[Joel Brobecker]

> Otherwise, you can tell configure that you plan to use gmake, like
> ".../configure MAKE=gmake".  That will write the proper value into the
> various Makefiles.  (But you shouldn't have to do this.)

This one doesn't work, as far as I can tell. Pierre and I both
tried it two different ways, and configure still replaces @MAKE@
by make in gnulib/Makefile :-( (a bug, if you ask me, just don't
know where).

-- 
Joel