--On Friday, April 29, 2016 7:16 PM -0700 Quanah Gibson-Mount
<qua...@zimbra.com> wrote:
time is a shell built-in command, it doesn't need to be installed.
Not for all shells it isn't. So having time in there is non-portable. I
hit this today.
For example, with Ubuntu:
# /bin/sh
# time blah
/bin/sh: 1: time: not found
# time echo "hi"
/bin/sh: 2: time: not found
#
--
Quanah Gibson-Mount
Platform Architect
Zimbra, Inc.
--------------------
Zimbra :: the leader in open source messaging and collaboration
A division of Synacor, Inc