Hello.
2018-07-12 20:55 GMT+09:00 Masahiro Yamada <yamada.masah...@socionext.com>: > 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. Any news about this? I tested the latest git version: commit a1bb739165a944769cbb4a6e4f027ac9c2587122 Author: Paul Smith <psm...@gnu.org> Date: Sat Aug 4 19:20:58 2018 -0400 * NEWS: Update for the latest changes. I still see the same problem when building Linux kernel with -j option. Thanks. > > > 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 -- Best Regards Masahiro Yamada _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make