11 Apr
2007
11 Apr
'07
6:10 p.m.
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
--
lfr
0/0