11 Apr
2007
11 Apr
'07
7:13 p.m.
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
What shell are you using? That doesn't work for me using Centos 4.4. My original command was time (ls; ls). I just tried you example and that doesn't work, either. I'm using bash.
--
Prentice
The contents of this communication, including any attachments, may be confidential, privileged or otherwise protected from disclosure. They are intended solely for the use of the individual or entity to whom they are addressed. If you are not the intended recipient, please do not read, copy, use or disclose the contents of this communication. Please notify the sender immediately and delete the communication in its entirety.