On Sun, Mar 17, 2013 at 9:07 PM, Bob Proulx <b...@proulx.com> wrote: > Bruce Dawson wrote: >> The man page is clear that it is displaying the results of wait3(). > > Man page for time? You mean the time section of the man page for > bash.
no > If you are looking at the time man page then you are looking at > the standalone /usr/bin/time command and not the bash builtin time > command. The OP in his original email showed that he was aware of that.
