diff options
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/ci/run | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/ci/run b/contrib/ci/run index aa6d35abe..26cd32b33 100755 --- a/contrib/ci/run +++ b/contrib/ci/run @@ -300,6 +300,7 @@ function build_coverage() --output-file ci-dirty.info stage lcov-clean lcov --remove ci-dirty.info \ "/usr/*" "src/tests/*" "/tmp/*" \ + "*dtrace-temp.c" \ --output-file ci.info stage genhtml eval 'genhtml --output-directory \ "$coverage_report_dir" \ |