News for hackers. Stuff that matters.
Re:/usr/bin/time: not the command you think you know by aij on Tuesday March 07, 2017 @11:04AM (#13811427)
I bet you're using GNU time rather than BSD time.

It did seem odd to me that the author didn't bother to mention which OS he is using, though from the hostname I have a pretty good guess.

There are no comments on this comment yet.