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