From 1b79747ef9ae07a4d6b51e1d155b2e314f8e7692 Mon Sep 17 00:00:00 2001
From: Tavian Barnes <tavianator@tavianator.com>
Date: Mon, 3 Feb 2025 10:24:28 -0500
Subject: ci/diag.sh: Try to make sed unbuffered

---
 .github/diag.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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)
-- 
cgit v1.2.3