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. --- lint/games.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lint/games.sh') diff --git a/lint/games.sh b/lint/games.sh index 6d51ba0d..184728b6 100644 --- a/lint/games.sh +++ b/lint/games.sh @@ -1,4 +1,4 @@ -# POSIX sh +# POSIX shell set -- for game in games/*.sh ; do set -- "$@" "${game%.sh}" -- cgit v1.2.3