diff options
| author |   Artem Naluzhnyy <A.Naluzhnyy@samsung.com> | 2019-08-17 17:18:28 +0200 |
|---|---|---|
| committer | Artem Naluzhnyy <A.Naluzhnyy@samsung.com> | 2019-08-17 17:18:28 +0200 |
| commit | f8fd3e4c54940e628d47995b4a561175c307a1c0 (patch) | |
| tree | 6310cee342b2a4b7c85df950c2bbbe4dc048e23e /shell | |
| parent | 5ec3b77a6456c8cab8326eeaa6376b757968e568 (diff) | |
Make COVERITY_USER_EMAIL, SEARCH_PATHS, SEARCH_EXCLUDE_REGEXS configurable
Now the Jenkins job parameters are configurable on the WEB since it's
usefull for initial Coverity Scan job setup or tuning process.
Issue-ID: CIMAN-260
Signed-off-by: Artem Naluzhnyy <A.Naluzhnyy@samsung.com>
Change-Id: I6f2f59416966233c24c1b6bc1847d4ebe19a6985
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/maven-coverity.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/shell/maven-coverity.sh b/shell/maven-coverity.sh index e82de3dff..5db7f33e4 100644 --- a/shell/maven-coverity.sh +++ b/shell/maven-coverity.sh @@ -176,6 +176,13 @@ cov-manage-emit \ | sort \ > 'cov-int/scm-untracked-files.txt' +if [ -s 'cov-int/scm-untracked-files.txt' ]; then + echo '[WARNING] There are some files analysed but not tracked by SCM repository.' \ + 'There might be 3rd-party or auto-generated sources. See details in' \ + '"cov-int/scm-untracked-files.txt" file.' \ + >&2 +fi + #----------------------------------------------------------------------------- # Submit results to Coverity service |