From f2e3c07e81314d2b3a5d26638e08649f74350592 Mon Sep 17 00:00:00 2001 From: Nic Boet Date: Mon, 27 Feb 2023 00:18:04 +0100 Subject: [PATCH] Make it more apparent that bash time is not used MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Nic Boet Signed-off-by: Andreas K. Hüttel --- tools/catalyst-auto | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/tools/catalyst-auto b/tools/catalyst-auto index 3dfd1233..1780daf4 100755 --- a/tools/catalyst-auto +++ b/tools/catalyst-auto @@ -421,8 +421,13 @@ run_catalyst_commands() { build_failure=0 - timeprefix=() - which time >/dev/null && timeprefix=( "time" ) + # bash built-in time function is not used + if ! which time >/dev/null ; then + timeprefix=() + echo "sys-process/time is optional for build resource utilization" + else + timeprefix=( "time" ) + fi JOB_PIDS=() JOB_RETS=()