diff --git a/scripts/test_wrapper.sh b/scripts/test_wrapper.sh index 45340c62f73172240c6565e6ceb10ed6c2b30fa7..406ce1cec3c093831576581bb0583cc5d0740875 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)