2018-07-12 20:26 GMT+09:00 Paul Smith <psm...@gnu.org>: > 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.
The latest release is GNU Make 4.2.1, which is fine with me. The problem is in the state-of-the-art version in git. I built Make from git tree, like this: $ git checkout 2b8e3bb23f96c2458818f011593557d3353dade3 $ autoreconf -i $ ./configure $ make update $ make $ make install -- Best Regards Masahiro Yamada _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make