diff --git a/misc/tools/all/config.subr b/misc/tools/all/config.subr
index 864c17e..cb07d15 100644
--- 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