Chistian Kellermann <[EMAIL PROTECTED]> 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. _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
