diff options
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 |