ci/diag.sh: Try to make sed unbuffered

tavianator · Feb 3, 2025 · 1b79747 · 1b79747
1 parent 1ef2935
commit 1b79747
Showing 1 changed file with 6 additions and 1 deletion.
diff --git 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)