Hi, is it true when you use /usr/bin/time? Bash has it's own version for time.
** Changed in: time (Ubuntu)
Status: Unconfirmed => Needs Info
--
GNU time command not accepting options
https://launchpad.net/bugs/79355
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
