diff options
Diffstat (limited to 'run')
| -rwxr-xr-x | run | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -17,7 +17,11 @@ done log "$script_dir -- $filter" cd $script_dir -scripts="$(find ./runs -maxdepth 1 -mindepth 1 -executable -type f)" +if [[ "$(uname -s)" == "Darwin" ]]; then + scripts="$(find ./runs -maxdepth 1 -mindepth 1 -perm +111 -type f)" +else + scripts="$(find ./runs -maxdepth 1 -mindepth 1 -executable -type f)" +fi for script in $scripts; do if echo "$script" | grep -qv "$filter"; then log "filtering $script" |
