On Wed, Dec 03, 2008 at 09:49:21AM +0000, Tom Van Looy wrote: > >No, check the ksh man page. > > Or, you could use the /usr/bin/time command to just avoid the ksh builtin. > /usr/bin/time java helloWorld >time.report 2>&1 > Which works as expected.
That depends very much on your expectations.
-Otto
