On Tue, 2018-09-11 at 10:39 +0900, Masahiro Yamada wrote:
> Yes, with this change, I can build Linux kernel in parallel now.

I've pushed a similar change along with a regression test to the Git
repository.

Thanks for your efforts tracking this down!  It was certainly an
obscure situation.

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

Reply via email to