diff --git a/.jenkins.d/30-coverage.sh b/.jenkins.d/30-coverage.sh index 0a834471..0dbb03a5 100755 --- a/.jenkins.d/30-coverage.sh +++ b/.jenkins.d/30-coverage.sh @@ -19,6 +19,11 @@ if [[ $JOB_NAME == *"code-coverage" ]]; then --directory . \ --no-external \ --rc lcov_branch_coverage=1 \ + --output-file build/coverage-with-tests-and-websocketpp.info + + lcov --quiet \ + --remove build/coverage-with-tests-and-websocketpp.info "$PWD/websocketpp/*" \ + --rc lcov_branch_coverage=1 \ --output-file build/coverage-with-tests.info lcov --quiet \