For those like me who didn't know the difference between the time shell command and the time binary:
http://stackoverflow.com/questions/1656425/print-execution-time-of-a-shell-command
The binary can print to any file and is configurable on the command line or via environment variables, whereas the shell command only prints to stderr and is only configurable via environment variable.
For those like me who didn't know the difference between the time shell command and the time binary: http://stackoverflow.com/questions/1656425/print-execution-time-of-a-shell-command The binary can print to any file and is configurable on the command line or via environment variables, whereas the shell command only prints to stderr and is only configurable via environment variable.