diff options
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/maven-coverity.sh | 10 |
1 files changed, 10 insertions, 0 deletions
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 |