From: Rudolf Polzer Date: Sat, 18 Jan 2014 11:04:51 +0000 (+0100) Subject: Simplify test for "time". X-Git-Tag: xonotic-v0.8.0~47 X-Git-Url: http://git.xonotic.org/?p=xonotic%2Fxonotic.git;a=commitdiff_plain;h=cc3b56f8b57fb79be069d8d0fa43eea47ff13932 Simplify test for "time". --- diff --git a/misc/tools/all/config.subr b/misc/tools/all/config.subr index 2ebddfb3..864c17e3 100644 --- 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