diff options
-rwxr-xr-x | contrib/ci/run | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/ci/run b/contrib/ci/run index 3c8f502f8..5f067bc7c 100755 --- a/contrib/ci/run +++ b/contrib/ci/run @@ -298,7 +298,7 @@ function build_coverage() --add-tracefile ci-check.info \ --output-file ci-dirty.info stage lcov-clean lcov --remove ci-dirty.info \ - "/usr/*" "src/tests/*" \ + "/usr/*" "src/tests/*" "/tmp/*" \ --output-file ci.info stage genhtml eval 'genhtml --output-directory \ "$coverage_report_dir" \ |