diff options
Diffstat (limited to 'lint/games')
-rwxr-xr-x | lint/games | 11 |
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 |