On Dec 3, 2008, at 10:49 AM, 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.
Or use $ (time java helloWorld) >time.report 2>&1 -Heinrich
