diff --git a/ci/common/build.bash b/ci/common/build.bash index 9a897e9cb9..bbf425830e 100755 --- a/ci/common/build.bash +++ b/ci/common/build.bash @@ -289,7 +289,12 @@ set -e log "Test Thrust and CUB..." -echo_and_run_timed "Test" ctest ${CTEST_FLAGS} | tee ctest_log +( + # Make sure test_status captures ctest, not tee: + # https://stackoverflow.com/a/999259/11130318 + set -o pipefail + echo_and_run_timed "Test" ctest ${CTEST_FLAGS} | tee ctest_log +) test_status=$? ################################################################################