[darcs-users] darcs patch: call $(MAKE) instead of 'make', because GNUMake is not...

[Trent W. Buck]

Chistian Kellermann <Christian.Kellermann at nefkom.net> writes:
> call $(MAKE) instead of 'make', because GNUMake is not called 'make'
> everywhere

There is a far more important reason than that: $(MAKE) allows make to
transmit MAKEFLAGS and -j information to subsidiary make processes.  If
you use "make" instead of "$(MAKE)", then "make -j 4 all" will not do
the right thing.