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

David Roundy droundy at darcs.net
Tue Oct 21 14:34:36 UTC 2008


On Tue, Oct 21, 2008 at 03:15:39PM +0200, Chistian Kellermann wrote:
> Tue Oct 21 14:31:22 CEST 2008  Chistian Kellermann <Christian.Kellermann at nefkom.net>
>   * call $(MAKE) instead of 'make', because GNUMake is not called 'make' everywhere

Applied, thanks!

David


More information about the darcs-users mailing list