From 37d4fcc9b330a8449ce6bb0ee9b54e6b5c23d542 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Fri, 5 Jul 2024 14:02:12 +0000 Subject: [PATCH] make.sh: Launch the timer only when we need it Signed-off-by: Michael Tremer --- make.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/make.sh b/make.sh index c08ebe6c59..f33bf92119 100755 --- a/make.sh +++ b/make.sh @@ -826,15 +826,15 @@ run_command() { # Return code local r=0 - # Launch the timer - launch_timer - # Store the start time local t="${SECONDS}" # If we are not running in quiet mode, we set the timer case "${quiet}" in false) + # Launch the timer + launch_timer + TIMER="${t}" ;; esac -- 2.47.3