El tiempo BSD da este tipo de salida
9990
real 0m4.371s
user 0m1.548s
sys 0m2.167s
El tiempo GNU da entonces nuevamente este tipo de salida
9990
1.56s user 1.46s system 82% cpu 3.648 total
Brew search gtime no da nada. El tiempo de GNU está probablemente en alguna biblioteca C, sin embargo, no estoy seguro de cuál. No hay un paquete aparente para ello.
¿Cómo puedes instalar el tiempo de GNU en OSX?