diff options
-rw-r--r-- | check/games.sh | 2 | ||||
-rw-r--r-- | lint/bin.sh | 2 | ||||
-rw-r--r-- | lint/games.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/check/games.sh b/check/games.sh index 7d1c3694..cb1bcc31 100644 --- a/check/games.sh +++ b/check/games.sh @@ -2,4 +2,4 @@ for game in games/*.sh ; do sh -n -- "${game%.sh}" || exit done -printf 'sh(1) games parsed successfully.\n' +printf 'POSIX sh games parsed successfully.\n' diff --git a/lint/bin.sh b/lint/bin.sh index d27494dd..6037ca55 100644 --- a/lint/bin.sh +++ b/lint/bin.sh @@ -4,7 +4,7 @@ for bin in bin/*.sh ; do set -- "$@" "${bin%.sh}" done shellcheck -e SC1090 -- "$@" || exit -printf 'POSIX sh binscripts linted successfully.\n' +printf 'POSIX shell binscripts linted successfully.\n' # GNU Bash if command -v bash >/dev/null 2>&1 ; then diff --git a/lint/games.sh b/lint/games.sh index 240961af..6d51ba0d 100644 --- a/lint/games.sh +++ b/lint/games.sh @@ -4,4 +4,4 @@ for game in games/*.sh ; do set -- "$@" "${game%.sh}" done shellcheck -e SC1090 -- "$@" || exit -printf 'sh(1) games linted successfully.\n' +printf 'POSIX shell games linted successfully.\n' |