diff options
Diffstat (limited to 'check')
-rw-r--r-- | check/bin.sh | 4 | ||||
-rw-r--r-- | check/games.sh | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/check/bin.sh b/check/bin.sh index 08b12778..61b46af8 100644 --- a/check/bin.sh +++ b/check/bin.sh @@ -1,8 +1,8 @@ -# POSIX sh +# POSIX shell for bin in bin/*.sh ; do sh -n -- "${bin%.sh}" || exit done -printf 'POSIX sh binscripts parsed successfully.\n' +printf 'POSIX shell binscripts parsed successfully.\n' # GNU Bash if command -v bash >/dev/null 2>&1 ; then diff --git a/check/games.sh b/check/games.sh index cb1bcc31..bea65a08 100644 --- a/check/games.sh +++ b/check/games.sh @@ -1,5 +1,5 @@ -# POSIX sh +# POSIX shell for game in games/*.sh ; do sh -n -- "${game%.sh}" || exit done -printf 'POSIX sh games parsed successfully.\n' +printf 'POSIX shell games parsed successfully.\n' |