diff options
| -rw-r--r-- | jjb/ci-management/ci-management-coverity.yaml | 2 | ||||
| -rw-r--r-- | shell/maven-coverity.sh | 10 |
2 files changed, 12 insertions, 0 deletions
diff --git a/jjb/ci-management/ci-management-coverity.yaml b/jjb/ci-management/ci-management-coverity.yaml index 1d38ead72..ba37d5785 100644 --- a/jjb/ci-management/ci-management-coverity.yaml +++ b/jjb/ci-management/ci-management-coverity.yaml @@ -48,8 +48,10 @@ **/target/**/feature.xml **/target/failsafe-reports/failsafe-summary.xml **/target/surefire-reports/*-output.txt + **/cov-int/BUILD.metrics.xml **/cov-int/build-log.txt **/cov-int/build-timings.txt + **/cov-int/java-security-da-whitelist.dat properties: - lf-infra-properties: diff --git a/shell/maven-coverity.sh b/shell/maven-coverity.sh index e319b06d9..17601d441 100644 --- a/shell/maven-coverity.sh +++ b/shell/maven-coverity.sh @@ -109,6 +109,16 @@ cov-import-scm \ --dir 'cov-int' \ --scm 'git' +cov-manage-emit \ + --dir cov-int \ + list \ +| grep \ + --invert-match \ + '^Translation unit:$' \ +| sed \ + 's!^[[:digit:]]\+ -> !!' \ +> 'coverity-scan-analysed-files.log' + #----------------------------------------------------------------------------- # Submit results to Coverity service |