aboutsummaryrefslogtreecommitdiff
path: root/lint/games
diff options
context:
space:
mode:
Diffstat (limited to 'lint/games')
-rwxr-xr-xlint/games2
1 files changed, 1 insertions, 1 deletions
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)