and shellcheck --version

gnprice · Oct 2, 2023 · 770f898 · 770f898
1 parent 0b0ae31
commit 770f898
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/check b/tools/check
@@ -283,6 +283,7 @@ EOF
         return 1
     fi
 
+    shellcheck --version
     shellcheck -x --shell=bash -- "${targets[@]}"
 }