|Bill Allombert on Sun, 29 Jan 2012 15:44:35 +0100|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|Re: parallel make|
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.