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@xxxxxxxxxxxxxxxx Z1aaaaaaa@xxxxxxxxxxxxxxxx
Please do not reply off-list
_______________________________________________
CentOS mailing list
CentOS@xxxxxxxxxx
http://lists.centos.org/mailman/listinfo/centos
