diff --git a/tools/check b/tools/check index 459663f2650..70e8eaa08f6 100755 --- a/tools/check +++ b/tools/check @@ -283,6 +283,7 @@ EOF return 1 fi + shellcheck --version shellcheck -x --shell=bash -- "${targets[@]}" }