Re: gdb/gnulib problems with BSD operating systems

Joel Brobecker
2012-03-30T21:35:03Z

> 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