macosx: use gtime (from gnu-time) if available to measure time

[nit.git] / tests / tests.sh

diff --git a/tests/tests.sh b/tests/tests.sh
index 8168d0d..bddecaf 100755 (executable)
--- a/tests/tests.sh
+++ b/tests/tests.sh
@@ -134,6 +134,8 @@ if env time --quiet -f%U true 2>/dev/null; then
        TIME="env time --quiet -f%U"
 elif env time -f%U true 2>/dev/null; then
        TIME="env time -f%U"
+elif env gtime -f%U true 2>/dev/null; then
+       TIME="env gtime -f%U"
 else
        TIME=
 fi