diff options
| author | James McCoy <jamessan@jamessan.com> | 2018-03-11 20:17:28 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-11 20:17:28 -0400 |
| commit | f5b0f5e17fbfa5e7905e95374791c36042f7d195 (patch) | |
| tree | e55bc96df13b5d43f2117bfec1264b464e035994 /scripts/pvscheck.sh | |
| parent | e24e98534bbb915d484eca0056ff8b57a2eb2a1d (diff) | |
| parent | 4e5e6506b51d3f952023df609b2b3e4469cbdc63 (diff) | |
| download | rneovim-f5b0f5e17fbfa5e7905e95374791c36042f7d195.tar.gz rneovim-f5b0f5e17fbfa5e7905e95374791c36042f7d195.tar.bz2 rneovim-f5b0f5e17fbfa5e7905e95374791c36042f7d195.zip | |
Merge pull request #8127 from jamessan/update-pvs-headers
Add missing PVS headers to new files
Diffstat (limited to 'scripts/pvscheck.sh')
| -rwxr-xr-x | scripts/pvscheck.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/pvscheck.sh b/scripts/pvscheck.sh index 30c4d296d7..314966f6aa 100755 --- a/scripts/pvscheck.sh +++ b/scripts/pvscheck.sh @@ -343,13 +343,15 @@ run_analysis() {( cd "$tgt" + # pvs-studio-analyzer exits with a non-zero exit code when there are detected + # errors, so ignore its return pvs-studio-analyzer \ analyze \ --threads "$(get_jobs_num)" \ --output-file PVS-studio.log \ --verbose \ --file build/compile_commands.json \ - --sourcetree-root . + --sourcetree-root . || true plog-converter -t xml -o PVS-studio.xml PVS-studio.log plog-converter -t errorfile -o PVS-studio.err PVS-studio.log |