diff options
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | check/games.sh | 5 | ||||
-rw-r--r-- | lint/games.sh | 8 |
3 files changed, 11 insertions, 4 deletions
@@ -541,7 +541,7 @@ check-bash: check-bin: $(BINS) sh check/bin.sh -check-games: +check-games: $(GAMES) sh check/games.sh check-man: diff --git a/check/games.sh b/check/games.sh index 79d53ed5..7d1c3694 100644 --- a/check/games.sh +++ b/check/games.sh @@ -1,4 +1,5 @@ +# POSIX sh for game in games/*.sh ; do - sh -n "$game" || exit + sh -n -- "${game%.sh}" || exit done -printf 'All shell scripts in games parsed successfully.\n' +printf 'sh(1) games parsed successfully.\n' diff --git a/lint/games.sh b/lint/games.sh index 6e3e3024..fa2c7a97 100644 --- a/lint/games.sh +++ b/lint/games.sh @@ -1 +1,7 @@ -find games -type f -name '*.sh' -print -exec shellcheck -e SC1090 -s sh -- {} + +# POSIX sh +set -- +for game in games/*.sh ; do + set "$@" "${game%.sh}" +done +shellcheck -e SC1090 -- "$@" || exit +printf 'sh(1) games linted successfully.\n' |