make.sh: Launch the timer only when we need it

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>
This commit is contained in:
Michael Tremer
2024-07-05 14:02:12 +00:00
parent b55434ff46
commit 37d4fcc9b3

View File

@@ -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