diff options
Diffstat (limited to 'lint/games')
-rwxr-xr-x | lint/games | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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) |