Follow-up Comment #2, bug #22379 (project make):
No, that Debian bug is different (and that whole section of code is different
in the next release of GNU make, so it's no longer needed).
Please try the attached patch and see if it works.
(file #15253)
_______________________________________________________
Additional Item Attachment:
File name: p.diff Size:0 KB
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?22379>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make
