Professional
Unix Shell
Programming Copr.
2004 Larry A.
Walker Unixinfo.org
time
pipeline
If pipeline is omitted the user
and system time for the current shell and completed child processes is printed
on standard error. Otherwise, pipeline is executed and the elapsed time as well
as the user and system time are printed on standard error.