aboutsummaryrefslogtreecommitdiff
path: root/lint/bin
diff options
context:
space:
mode:
Diffstat (limited to 'lint/bin')
-rwxr-xr-xlint/bin14
1 files changed, 9 insertions, 5 deletions
diff --git a/lint/bin b/lint/bin
index 1f7d9c66..c5729fdb 100755
--- a/lint/bin
+++ b/lint/bin
@@ -1,7 +1,11 @@
#!/bin/sh
-for bin in bin/* ; do
- if sed 1q "$bin" | grep -q -- 'sh$' ; then
- printf '%s\n' "$bin"
- shellcheck -- "$bin"
- fi
+for bin in games/* ; do
+ [ -e "$bin" ] || continue
+ hb=$(sed 1q "$bin") || exit
+ case $hb in
+ *sh)
+ printf '%s\n' "$bin"
+ shellcheck -- "$bin"
+ ;;
+ esac
done