Follow-up Comment #2, bug #51462 (project make): Thanks.
I suspect that the fix referred to in 47995 is: http://git.savannah.gnu.org/cgit/make.git/commit/?id=4762480ae9cb8df4878286411f178d32db14eff0 (it even starts with "[SV 47995]"). However, no, unfortunately it doesn't fix the problem I described. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?51462> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
