Petr Janda wrote: You're using the shell builtin. Try /usr/bin/time. :) Sascha Thanks, Perhaps a note of this could be added the time manual page for people like me that didnt know that ;) Petr Hmm, the time(1) manpage does have a reference to builtin(1) (same goes for echo(1) manpage etc.). So _theoretically_ you could have found it. :) Sascha -- http://yoyodyne.ath.cx