How do I use options with time?
You are invoking the bash's built-in version of time
, which has slightly different behavior and options – described in bash's manual as well as help time
.
Use command time ...
to bypass the built-in and execute the external command; or run /usr/bin/time ...
directly.