[CentOS] time command
John Summerfield
debian at herakles.homelinux.org
Wed Apr 11 22:41:24 UTC 2007
Luciano Miguel Ferreira Rocha wrote:
> On Wed, Apr 11, 2007 at 12:09:03PM -0400, Bisbal, Prentice wrote:
>
>>>What you want is
>>> time ( command ; command )
>>
>>I was going to suggest that myself, but when I tested in in bash, it
>>didn't work for me. Does it work for you?
>
>
> It works for me:
>
> $ time (echo a ; echo b)
> a
> b
>
> real 0m0.001s
> user 0m0.000s
> sys 0m0.001s
There's no evidence there of what you're timing.
--
Cheers
John
-- spambait
1aaaaaaa at coco.merseine.nu Z1aaaaaaa at coco.merseine.nu
Please do not reply off-list
More information about the CentOS
mailing list