jjb: Print abidw version if available

Change-Id: I041dd2fb12c39b90d30e3b8a3ad3c01d101d503e
Signed-off-by: Kienan Stewart <kstewart@efficios.com>

diff --git a/scripts/common/print.sh b/scripts/common/print.sh
index a0bcc574bcdc3c41e478a3267cd187abcefb83cc..98187dac30928a62901f5101a9fa0441a1ee952f 100755 (executable)
--- a/scripts/common/print.sh
+++ b/scripts/common/print.sh
@@ -181,5 +181,10 @@ print_tooling() {
         shellcheck --version | grep '^version'
     fi
 
+    if command -v abidw >/dev/null 2>&1; then
+        print_blue "abidw version"
+        abidw --version
+    fi
+
     set -ex
 }