diff options
Diffstat (limited to 'lint/bin.sh')
-rw-r--r-- | lint/bin.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/lint/bin.sh b/lint/bin.sh index db74c3dd..5c33aa7d 100644 --- a/lint/bin.sh +++ b/lint/bin.sh @@ -1,6 +1,19 @@ +# POSIX sh set -- for sh in bin/*.sh ; do set "$@" "${sh%.sh}" done shellcheck -e SC1090 -- "$@" || exit printf 'sh(1) binscripts linted successfully.\n' + +# GNU Bash +if command -v bash >/dev/null 2>&1 ; then + set -- + for bin in bin/*.bash ; do + set "$@" "${sh%.sh}" + done + shellcheck -e SC1090 -- "$@" || exit + printf 'bash(1) binscripts linted successfully.\n' +else + printf 'bash(1) not found, skipping lint.\n' +fi |