BSD tiempo le da a este tipo de salida
9990
real 0m4.371s
user 0m1.548s
sys 0m2.167s
GNU tiempo da luego de nuevo este tipo de salida
9990
1.56s user 1.46s system 82% cpu 3.648 total
Cerveza de búsqueda gtime da nada. GNU tiempo es, probablemente, en algunas bibliotecas de C, sin embargo, no estoy seguro de qué. No hay aparente paquete.
¿Cómo se puede instalar GNU tiempo en OSX?
