From 0eda5f11260a0f6308b01f253eba1ba624ac9df0 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@nomadic-labs.com>
Date: Tue, 17 Jan 2023 16:01:13 +0100
Subject: [PATCH] CI: Print more logs to the standard output

---
 scripts/test_wrapper.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/test_wrapper.sh b/scripts/test_wrapper.sh
index 45340c62f731..406ce1cec3c0 100755
--- a/scripts/test_wrapper.sh
+++ b/scripts/test_wrapper.sh
@@ -27,7 +27,7 @@ EXITCODE=0
 # If set, COVERAGE_OPTIONS will typically contain "--instrument-with bisect_ppx".
 # We need this to be word split for the arguments to be properly parsed by dune.
 # shellcheck disable=SC2086
-dune build --error-reporting=twice ${COVERAGE_OPTIONS:-} "$@" > "test_results/$name.log" 2>&1 \
+dune build --error-reporting=twice ${COVERAGE_OPTIONS:-} "$@" 2>&1 | tee "test_results/$name.log" \
     || EXITCODE=$?
 
 END=$(date +%s.%N)
-- 
GitLab