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