diff options
| -rwxr-xr-x | .github/workflows/scripts/show_build_failures.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/scripts/show_build_failures.sh b/.github/workflows/scripts/show_build_failures.sh index 14f699c93d..7b1a021155 100755 --- a/.github/workflows/scripts/show_build_failures.sh +++ b/.github/workflows/scripts/show_build_failures.sh @@ -5,9 +5,9 @@ log_dir_path="${1:-logs}" context="${2:-10}" show_make_build_errors() { - grep -slr 'make\[[[:digit:]]\].*Error [[:digit:]]$' "$log_dir_path" | while IFS= read -r log_file; do + grep -slr 'make\[[[:digit:]]\+\].*Error [[:digit:]]\+$' "$log_dir_path" | while IFS= read -r log_file; do printf "====== Make errors from %s ======\n" "$log_file"; - grep -r -C"$context" 'make\[[[:digit:]]\].*Error [[:digit:]]$' "$log_file" ; + grep -r -C"$context" 'make\[[[:digit:]]\+\].*Error [[:digit:]]\+$' "$log_file" ; done } |