Re: Parallel building of Linux Kernel is broken

2018-07-12 Thread Masahiro Yamada
2018-07-12 20:26 GMT+09:00 Paul Smith : > 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 myste

Re: Parallel building of Linux Kernel is broken

2018-07-12 Thread Paul Smith
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