You can read the debian bug report page for details. But a simple workaround is to use the command "/usr/bin/time" instead of just "time". If it is not corrected, it would at least be nice to mention this in the man page.
-- time: Time does not parse its parameters https://bugs.launchpad.net/bugs/238061 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
