fi
# treat 'time' separately to allow for shell builtin
shift
# Don't use time when QUIET is set
if ${QUIET}; then
"${@}"
return
# Of course, 'time' is a feature, i.e. things should still work even
# if neither the shell nor the time command is available.
if command -v time >/dev/null 2>&1; then
