[CentOS] time command

On Wed, Apr 11, 2007 at 12:09:03PM -0400, Bisbal, Prentice wrote:
> Stephen Harris wrote:
> >   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? 

Hmm, interesting.

$ time ( echo hello )

It works in bash-2.03 on Solaris 8, but not in bash-2.05 in FC1, FC2,
RHEL2.1 or Solaris 9 and not in bash-3.00 in RHEL4u4 or Solaris 10.

Works correctly in ksh88 and ksh93 on all platforms.

Sounds like a bash bug to me!

-- 

rgds
Stephen