Re: Bug/limitation in 'time'

[Pierre Gaston]

On Sun, Mar 17, 2013 at 9:07 PM, Bob Proulx <bob@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.