fixup

espressomd · Oct 31, 2022 · 7a27d2d · 7a27d2d
1 parent ad2596a
commit 7a27d2d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/maintainer/CI/build_cmake.sh b/maintainer/CI/build_cmake.sh
@@ -352,8 +352,10 @@ if [ "${with_coverage}" = true ] || [ "${with_coverage_python}" = true ]; then
     shasum -a 256 -c codecov.SHA256SUM
     chmod +x codecov
 
+    codecov_opts=""
     if [ "${with_coverage}" = true ]; then
         echo "Running lcov and gcov..."
+        codecov_opts="${codecov_opts} --gcov"
         lcov --gcov-tool "${GCOV:-gcov}" -q --directory . --ignore-errors graph --capture --output-file coverage.info # capture coverage info
         lcov --gcov-tool "${GCOV:-gcov}" -q --remove coverage.info '/usr/*' --output-file coverage.info # filter out system
         lcov --gcov-tool "${GCOV:-gcov}" -q --remove coverage.info '*/doc/*' --output-file coverage.info # filter out docs
@@ -366,7 +368,7 @@ if [ "${with_coverage}" = true ] || [ "${with_coverage_python}" = true ]; then
     echo "Uploading to Codecov..."
     for codecov_trial in 1 2 3; do
         codecov_errno="0"
-        ./codecov --gcov -t ${CODECOV_TOKEN} --nonZero || codecov_errno="${?}"
+        ./codecov ${codecov_opts} -t "${CODECOV_TOKEN}" --nonZero || codecov_errno="${?}"
         if [ ! "${codecov_errno}" = "0" ]; then
             echo "Codecov did not upload coverage reports (return code: ${codecov_errno})" >&2
             echo "That was attempt ${codecov_trial}/3"