This is with a kernel from yesterday and a userland from the end of
January...
Running time on a bootstrap of gcc on my shark now prints
real 31535.90
user 634391.-58906
sys 1077544.-49263
The real time is correct, but the other two are complete garbage.
What's up?
R.