From e109be711346653690f127367a7376c15be50de2 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 c08ebe6c5..f33bf9211 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.39.5