Skip to content

Commit

Permalink
TO-DROP: let's intercept the log and store it in a file, just in case
Browse files Browse the repository at this point in the history
This log is in `t/` so that it is uploaded in case of failure.

Signed-off-by: Johannes Schindelin <[email protected]>
  • Loading branch information
dscho committed Dec 2, 2023
1 parent eab958a commit 42658f4
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions ci/lib.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 42658f4

Please sign in to comment.