Simplify test for "time".

diff --git a/misc/tools/all/config.subr b/misc/tools/all/config.subr
index 2ebddfb3cf390c670d8c187736a00190ac548aa5..864c17e318fda8154950f1555cf29c87a0426d4d 100644 (file)
--- a/misc/tools/all/config.subr
+++ b/misc/tools/all/config.subr
@@ -35,8 +35,7 @@ allmirrors()
        "$@" ssh  push ssh://xonotic@push.git.xonotic.org/ ''
 }
 
-if ! { time -p sh -c 'true'; } >/dev/null 2>&1; then
-       time=
-else
+time=
+if { time -p sh -c 'true'; } >/dev/null 2>&1; then
        time="time -p"
 fi