Follow-up Comment #1, bug #40159 (project make): GNU make 3.81 is over 7 years old.
Have you been able to reproduce this with the current stable version of GNU make, which is available at http://ftp.gnu.org/gnu/make/make-3.82.tar.gz? Also you might try the current prerelease for the next stable version of GNU make, which you can find here: http://alpha.gnu.org/gnu/make/make-3.99.93.tar.gz _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?40159> _______________________________________________ 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
