From 95820a6d866cf040ba6cf823fea2f1f08f6d4f63 Mon Sep 17 00:00:00 2001 From: Kienan Stewart Date: Fri, 4 Oct 2024 08:18:40 -0400 Subject: [PATCH] jjb: Print shellcheck version if the tool is available Change-Id: I356fbc23c3ad0023987c2b45f6c969624929e957 Signed-off-by: Kienan Stewart --- scripts/common/print.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/scripts/common/print.sh b/scripts/common/print.sh index 89c9043..b45b2b9 100755 --- a/scripts/common/print.sh +++ b/scripts/common/print.sh @@ -176,5 +176,10 @@ print_tooling() { print_pkgconfig_mod zlib fi + if command -v shellcheck >/dev/null 2>&1; then + print_blue "shellcheck version" + shellcheck --version | grep '^version' + fi + set -ex } -- 2.34.1