On Fri, 2014 Dec 19 18:12+0100, Stefano Lattarini wrote: > tags 18744 + patch > close 18744 > stop > > Reference: http://debbugs.gnu.org/18744 > > Should be fixed by the attached patch.
Thank you Stefano, just a few comment typos I noticed: * "The code used to detect whether the currently used make is GNU make or not not" * Probably should read "no longer risks causing" rather than "risk" * "as those cause non-GNU implementations" rather than "that cause ... implmentations" * "We can't use $(MAKE_VERSION) here, as it is also defined" rather than "as it also" * "might cause the shell to die" rather than "might cause to die"? --Daniel -- Daniel Richard G. || sk...@iskunk.org My ASCII-art .sig got a bad case of Times New Roman.