On 2018-11-14 6:57 p.m., Nadav Amit wrote: > Eventually, if you get a fix into icecc, we will need to change the > Makefile, consider the version number and act accordingly. I got a fix pulled into icecc[1] and it works quite well. It ought to be included in the next version of icecc. And distcc (with pump at least) has a patch too. In my experience, icecc does a much better job distributing the kernel build though. Logan [1] https://github.com/icecc/icecream/pull/430