WARNING: This server is unstable and will be retired in the next days.
If you want to keep this forum available, please request immediately a migration
on the Nabble Support forum.
Forums that don't receive any migration request will be deleted forever.
> 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