#752606 please show real/sys/user time used in build log

#752606#5
Date:
2014-06-25 06:32:34 UTC
From:
To:
Rather low wishlist - Currently build logs end with:

Build needed 00:07:05, 6776k disc space

It would be nice, if the log ended with results from getrusage(2), like
what "time" command returns:

$ time make -j5
...
real    3m19.784s
user    12m8.344s
sys     0m19.592s

Something like:

Build needed real: 00:03:19, user: 00:12:08, system: 00:00:19 6776k disc space

Riku