David Roundy wrote: > Indeed, Eric's reason is sufficient. It makes our dependency on gnu > make explicit. > > David
Ok. For me, the cost is spread too widely and outweighs the benefit; I would rather document this at the top of the makefile and in README -> Installing and let users of non-GNU make figure it out. Not too hard for them. Just my 2 cents. _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
