From e5c15fff9aaa3e8c462ec92106d978917673af5c Mon Sep 17 00:00:00 2001 From: Tom Ryder Date: Tue, 31 Oct 2017 23:34:15 +1300 Subject: Use "shell" not "sh" consistently I'm going to pretend this is a crucially important production fix, in order to try out the "hotfix" part of the "Git flow" workflow. --- check/bin.sh | 4 ++-- check/games.sh | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'check') 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' -- cgit v1.2.3