Hi Bertrand, Congratulations on the release candidate.
> 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. -- Cheers, Ralph. https://plus.google.com/+RalphCorderoy
