diff --git a/tools/circleci_focal_gcc9_coverage.sh b/tools/circleci_focal_gcc9_coverage.sh index d080c2d3d..6726de2f9 100644 --- a/tools/circleci_focal_gcc9_coverage.sh +++ b/tools/circleci_focal_gcc9_coverage.sh @@ -31,7 +31,7 @@ make -j2 VERBOSE=1 ctest -V -j4 -E torture # Upload coverage data. -bash <(curl -s https://codecov.io/bash) -x gcov-9 +bash <(curl -s https://codecov.io/bash) -x $deps_dir/bin/gcov set +e set +x