Hmm. The problem went away when I rebuilt GNU make 4.0 from scratch. The old make-4.0 executable was built back in October 2013 on Fedora 20 and I've been using it since then without problems, but perhaps I used a bad build tool back then. So please disregard this bug report.

_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make

Reply via email to