From a75b35f04862e69b2be0150e45e828fd887f7bfa Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Fri, 5 Jul 2024 10:23:45 +0000 Subject: [PATCH] make.sh: Add --quiet to run_command Signed-off-by: Michael Tremer --- make.sh | 26 ++++++++++++++++++-------- 1 file changed, 18 insertions(+), 8 deletions(-) diff --git a/make.sh b/make.sh index 0e87b78f0..e263abbe7 100755 --- a/make.sh +++ b/make.sh @@ -743,6 +743,7 @@ run_command() { local actions=() local chroot="false" + local quiet="false" while [ $# -gt 0 ]; do case "${1}" in @@ -750,6 +751,10 @@ run_command() { chroot="true" ;; + --quiet) + quiet="true" + ;; + -*) echo "Unknown argument: ${1}" >&2 return 2 @@ -798,15 +803,20 @@ run_command() { r="$?" fi - # Print the runtime - print_runtime "$(( SECONDS - t ))" + # Show runtime and status unless quiet + case "${quiet}" in + false) + # Print the runtime + print_runtime "$(( SECONDS - t ))" - # All done - if [ "${r}" -eq 0 ]; then - print_status DONE - else - print_status FAIL - fi + # All done + if [ "${r}" -eq 0 ]; then + print_status DONE + else + print_status FAIL + fi + ;; + esac return "${r}" } -- 2.39.5