From cc3b56f8b57fb79be069d8d0fa43eea47ff13932 Mon Sep 17 00:00:00 2001 From: Rudolf Polzer Date: Sat, 18 Jan 2014 12:04:51 +0100 Subject: [PATCH] Simplify test for "time". --- misc/tools/all/config.subr | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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 -- 2.39.2