Hi Ralph, On Thu, Feb 15 2018 at 11:37:13 PM, Ralph Corderoy <ra...@inputplus.co.uk> wrote: >> make -j > > This lets make kick off as many processes in parallel as it has work to > do, and that could be unsocial to the machine's users. «make -j`nproc`» > is one alternative.
You're right, I often use 'make -j' out of laziness and it works fine on my machine, but it's better use your command. Regards, Bertrand Garrigues
