]> git.rm.cloudns.org Git - xonotic/xonotic.git/commitdiff
Simplify test for "time".
authorRudolf Polzer <divverent@xonotic.org>
Sat, 18 Jan 2014 11:04:51 +0000 (12:04 +0100)
committerRudolf Polzer <divverent@xonotic.org>
Sat, 18 Jan 2014 11:04:51 +0000 (12:04 +0100)
misc/tools/all/config.subr

index 2ebddfb3cf390c670d8c187736a00190ac548aa5..864c17e318fda8154950f1555cf29c87a0426d4d 100644 (file)
@@ -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