From 35e7c3242696f02f22457a3445465142113d6575 Mon Sep 17 00:00:00 2001 From: Charles Herlin Date: Wed, 30 Jan 2019 16:00:45 +0100 Subject: [PATCH] FIX: remove "exernal-sources" option when running shellcheck This option caused some checks to be ignored --- shellcheck/launch_shellcheck.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/shellcheck/launch_shellcheck.sh b/shellcheck/launch_shellcheck.sh index 20f38c7..fd23217 100755 --- a/shellcheck/launch_shellcheck.sh +++ b/shellcheck/launch_shellcheck.sh @@ -14,7 +14,7 @@ fi for f in $files; do if head "$f" | grep -qE "^# run-shellcheck$"; then printf "\e[1;36mRunning shellcheck on: %s \e[0m\n" "$f" - if ! /usr/bin/shellcheck --color=always --external-sources --shell=bash "$f"; then + if ! /usr/bin/shellcheck --color=always --shell=bash "$f"; then retval=$((retval + 1)) fi fi