From 521c08406137d3ea1c92fcf401430306166c4b50 Mon Sep 17 00:00:00 2001
From: Rudolf Polzer <divverent@xonotic.org>
Date: Sat, 18 Jan 2014 12:07:41 +0100
Subject: [PATCH] Stop relying on exit status from invocation of "time".

Instead, check if its output starts with "user ".
---
 misc/tools/all/config.subr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/misc/tools/all/config.subr b/misc/tools/all/config.subr
index 864c17e3..cb07d15e 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
-- 
2.39.2