Stop relying on exit status from invocation of "time".

Instead, check if its output starts with "user ".

diff --git a/misc/tools/all/config.subr b/misc/tools/all/config.subr
index 864c17e318fda8154950f1555cf29c87a0426d4d..cb07d15ea8c1f8e24f00e07c63fb6f6cdb8775f0 100644 (file)
--- a/misc/tools/all/config.subr
+++ b/misc/tools/all/config.subr
@@ -36,6 +36,6 @@ allmirrors()
 }
 
 time=
-if { time -p sh -c 'true'; } >/dev/null 2>&1; then
+if { time -p sh -c 'true'; } 2>&1 >/dev/null | grep '^user ' >/dev/null; then
        time="time -p"
 fi