From 42658f419ed0ff304ee502d58de5c921654e88ec Mon Sep 17 00:00:00 2001 From: Johannes Schindelin Date: Sat, 2 Dec 2023 11:45:57 +0100 Subject: [PATCH] TO-DROP: let's intercept the log and store it in a file, just in case This log is in `t/` so that it is uploaded in case of failure. Signed-off-by: Johannes Schindelin --- ci/lib.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/ci/lib.sh b/ci/lib.sh index bc0b23099df29e..3f9376a2ea2b52 100755 --- a/ci/lib.sh +++ b/ci/lib.sh @@ -34,6 +34,7 @@ else "$@" 2>&1 echo $? >exit.status ) | + tee -a t/"1".log | sed 's/^\(\([^ ]*\):\([0-9]*\):\([0-9]*:\) \)\(error\|warning\): /::\5 file=\2,line=\3::\1/' res=$(cat exit.status) rm exit.status