Norbert pointed out that make -r is faster, which it is, >2x or so:
time make -r
real 0m5.645s
user 0m3.400s
sys 0m2.236s
But it doesn't affect the stat counts at all, still exactly the same
number and breakdown, but now they consume 40% of the time ;-) [ which
Amdahl is kinder to, perhaps ;-].
ATB,
Michael.
--
[email protected] <><, Pseudo Engineer, itinerant idiot
_______________________________________________
LibreOffice mailing list
[email protected]
http://lists.freedesktop.org/mailman/listinfo/libreoffice
