Re: gnulib-tool, maint.mk: use $MAKE not make

[Bruno Haible]

Hi Ralf,

>     * gnulib-tool: Default $MAKE to 'make'.
>     (func_create_testdir, func_create_megatestdir): Use $MAKE rather
>     than make.  Initialize $MAKE in the do-autobuild script.
>     * top/maint.mk (init-coverage, build-coverage): Use $(MAKE)
>     rather than make.

This is fine. But it should be committed in 3 separate commits, since it's 3
logically independent things:
  - gnulib-tool lines 4200..4270: this modifies the files that are generated
    by gnulib-tool. $MAKE can be set on the target machine.
  - the rest of the gnulib-tool patch: this changes the commands invoked
    by gnulib-tool.
  - top/maint.mk. Btw, why does this use $(MAKE) and not $(MAKE) $(MAKEFLAGS)?

Bruno