aboutsummaryrefslogtreecommitdiff
path: root/lint
diff options
context:
space:
mode:
Diffstat (limited to 'lint')
-rwxr-xr-xlint/bin2
-rwxr-xr-xlint/games2
2 files changed, 2 insertions, 2 deletions
diff --git a/lint/bin b/lint/bin
index c5729fdb..a126a822 100755
--- a/lint/bin
+++ b/lint/bin
@@ -1,6 +1,6 @@
#!/bin/sh
for bin in games/* ; do
- [ -e "$bin" ] || continue
+ [ -f "$bin" ] || continue
hb=$(sed 1q "$bin") || exit
case $hb in
*sh)
diff --git a/lint/games b/lint/games
index 6deac3b1..ef451f4e 100755
--- a/lint/games
+++ b/lint/games
@@ -1,6 +1,6 @@
#!/bin/sh
for game in games/* ; do
- [ -e "$game" ] || continue
+ [ -f "$game" ] || continue
hb=$(sed 1q "$game") || exit
case $hb in
*sh)