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.
--
michael.meeks@novell.com <><, Pseudo Engineer, itinerant idiot
Context
Privacy Policy |
Impressum (Legal Info) |
Copyright information: Unless otherwise specified, all text and images
on this website are licensed under the
Creative Commons Attribution-Share Alike 3.0 License.
This does not include the source code of LibreOffice, which is
licensed under the Mozilla Public License (
MPLv2).
"LibreOffice" and "The Document Foundation" are
registered trademarks of their corresponding registered owners or are
in actual use as trademarks in one or more countries. Their respective
logos and icons are also subject to international copyright laws. Use
thereof is explained in our
trademark policy.