diff options
Diffstat (limited to 'check')
-rwxr-xr-x | check/bin | 2 | ||||
-rwxr-xr-x | check/games | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ #!/bin/sh for bin in bin/* ; do - [ -f "$bin" ] || continue + [ -x "$bin" ] || continue hb=$(sed 1q "$bin") || exit case $hb in *bash) diff --git a/check/games b/check/games index 3afe6414..d3b5feac 100755 --- a/check/games +++ b/check/games @@ -1,6 +1,6 @@ #!/bin/sh for game in games/* ; do - [ -f "$game" ] || continue + [ -x "$game" ] || continue hb=$(sed 1q "$game") || exit case $hb in *bash) |