On Tue, Oct 21, 2008 at 03:15:39PM +0200, Chistian Kellermann wrote: > Tue Oct 21 14:31:22 CEST 2008 Chistian Kellermann <[EMAIL PROTECTED]> > * call $(MAKE) instead of 'make', because GNUMake is not called 'make' > everywhere
Applied, thanks! David _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
