[build] Conditionally use time -f, since it's not POSIX shell

This is issue #2227.
oils-for-unix · Jan 21, 2025 · 42f197e · 42f197e
1 parent 4986f63
commit 42f197e
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/build/ninja-rules-cpp.sh b/build/ninja-rules-cpp.sh
@@ -309,9 +309,10 @@ compile_one() {
     # Show timing info on the most expensive translation unit
     case $in in
       */oils_for_unix.*)
-        # Must have external 'time', so we test with 'which', not 'command -v'.
-        # busybox time supports -f but not --format.
-        if which time >/dev/null; then
+        # Must have external 'time', and it must have -f
+        # Notes: OS X has no time -f
+        #        busybox time supports -f but not --format.
+        if command time -f '%e %M' true >/dev/null; then
           set -- \
             time -f "$out { elapsed: %e, max_RSS: %M }" -- \
             "$@"