diff options
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/maven-coverity.sh | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/shell/maven-coverity.sh b/shell/maven-coverity.sh index 51bd2733f..5c0418310 100644 --- a/shell/maven-coverity.sh +++ b/shell/maven-coverity.sh @@ -159,9 +159,20 @@ cov-manage-emit \ --invert-match \ '^Translation unit:$' \ | sed \ - 's!^[[:digit:]]\+ -> !!' \ + --regexp-extended \ + 's!^[[:digit:]]+ -> !!' \ | sort \ -> 'coverity-scan-analysed-files.log' +> 'cov-int/coverity-scan-analysed-files.txt' + +# List all analyzed files that are not tracked by SCM repository +cov-manage-emit \ + --dir cov-int \ + list-scm-unknown \ +| sed \ + --regexp-extended \ + 's!^[^ ]+ !!' \ +| sort \ +> 'cov-int/scm-untracked-files.txt' #----------------------------------------------------------------------------- # Submit results to Coverity service |