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