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