aboutsummaryrefslogtreecommitdiff
path: root/lint/games
diff options
context:
space:
mode:
Diffstat (limited to 'lint/games')
-rwxr-xr-xlint/games11
1 files changed, 0 insertions, 11 deletions
diff --git a/lint/games b/lint/games
deleted file mode 100755
index ef451f4e..00000000
--- a/lint/games
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/sh
-for game in games/* ; do
- [ -f "$game" ] || continue
- hb=$(sed 1q "$game") || exit
- case $hb in
- *sh)
- printf '%s\n' "$game"
- shellcheck -- "$game"
- ;;
- esac
-done