From e5c15fff9aaa3e8c462ec92106d978917673af5c Mon Sep 17 00:00:00 2001
From: Tom Ryder <tom@sanctum.geek.nz>
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/bin.sh   | 2 +-
 lint/games.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'lint')

diff --git a/lint/bin.sh b/lint/bin.sh
index 6037ca55..c50a2492 100644
--- a/lint/bin.sh
+++ b/lint/bin.sh
@@ -1,4 +1,4 @@
-# POSIX sh
+# POSIX shell
 set --
 for bin in bin/*.sh ; do
     set -- "$@" "${bin%.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