On Tue, 16 Dec 2014, Brian Sherson wrote:
That sounds about right, Dmitry. It takes my server a few hours, and it is an 8-core, 3.5 GHz processor.
Then you have not set MAKE='make -j10' or so. (Or maybe -j6 to get at least two processor free for other things.)
-- Jori Mäntysalo
