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