Re: parallel make

[Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>]

On Thu, Jan 19, 2012 at 03:50:05PM +0100, John Cremona wrote:
> I normally build much faster using "make -j" instead of plain "make".
> Now I was just trying "./Configure --tune" for the first time, and I
> see that it is doing a full build (and I expect it will do this more
> than once given the estimated time for this given in the manual).

No, instead, it uses the tune utility (see make tune).
And honestly it does not work very well.

> If the Makefiles used $MAKE instead of make, then this could also be
> sped up via the user setting (e.g.) export MAKE='make -j' before
> starting.  Is there any reason why this would not work?

Done in revision pari-2.6-651-gec0de58.

Cheers,
Bill.