On Thu, 2018-07-12 at 14:51 +0900, Masahiro Yamada wrote: > I attached information that might be helpful. > Please take it FWIW.
The content you quote looks correct to me so if that's what's really in the makefiles then the problem is a deeper mystery. Can you clarify what version of GNU make you're using and how you obtained it? I believe that the change you mention is not available in any released version of GNU make, yet. _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
