diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2025-02-03 10:24:28 -0500 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2025-02-03 10:24:50 -0500 |
| commit | 1b79747ef9ae07a4d6b51e1d155b2e314f8e7692 (patch) | |
| tree | 2f7302bc3dc506256b8f183b43a1376f5f945b19 /.github/diag.sh | |
| parent | 1ef29353e10a4972624917c1812d0705f7914eea (diff) | |
| download | bfs-1b79747ef9ae07a4d6b51e1d155b2e314f8e7692.tar.xz | |
ci/diag.sh: Try to make sed unbuffered
Diffstat (limited to '.github/diag.sh')
| -rwxr-xr-x | .github/diag.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/.github/diag.sh b/.github/diag.sh index 56b5fcb..d89e7a4 100755 --- a/.github/diag.sh +++ b/.github/diag.sh @@ -8,8 +8,13 @@ set -eu +SEDFLAGS="-En" +if sed -u 's/s/s/' </dev/null &>/dev/null; then + SEDFLAGS="${SEDFLAGS}u" +fi + filter() { - sed -En 'p; s/^([^:]*):([^:]*):([^:]*): (warning|error): (.*)$/::\4 file=\1,line=\2,col=\3,title=Compiler \4::\5/p' + sed $SEDFLAGS 'p; s/^([^:]*):([^:]*):([^:]*): (warning|error): (.*)$/::\4 file=\1,line=\2,col=\3,title=Compiler \4::\5/p' } exec "$@" > >(filter) 2> >(filter >&2) |