diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2025-01-24 13:22:43 -0500 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2025-01-27 14:30:51 -0500 |
| commit | 1ef29353e10a4972624917c1812d0705f7914eea (patch) | |
| tree | 158288058422e08e1d2623dbae49d296e4861500 | |
| parent | 9d93f350a58353906a8eed68f4eb50a4cd3ee724 (diff) | |
| download | bfs-1ef29353e10a4972624917c1812d0705f7914eea.tar.xz | |
| -rwxr-xr-x | .github/diag.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/diag.sh b/.github/diag.sh index fe78be8..56b5fcb 100755 --- a/.github/diag.sh +++ b/.github/diag.sh @@ -9,8 +9,7 @@ set -eu filter() { - sed -E 's/^(([^:]*):([^:]*):([^:]*): (warning|error): (.*))$/::\5 file=\2,line=\3,col=\4,title=Compiler \5::\6\ -\1/' + sed -En 'p; s/^([^:]*):([^:]*):([^:]*): (warning|error): (.*)$/::\4 file=\1,line=\2,col=\3,title=Compiler \4::\5/p' } exec "$@" > >(filter) 2> >(filter >&2) |