There are two 'time' commands actually, both are slightly different. There's the CSH time(1) builtin and there's /usr/bin/time. I prefer the latter because it has some handy options: /usr/bin/time -h make buildworld
The -h switch will print the time info in "human" readable format.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.