diff options
author | James McCoy <jamessan@jamessan.com> | 2021-07-18 13:36:23 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-18 13:36:23 -0400 |
commit | d9be6ba7966677722a67af06d262c9700345d5f6 (patch) | |
tree | fcf2603e6b8b7ac778c27489fccf3d6a8c69bc4e | |
parent | c36df20aef22288f47e19084d2671327f7cd878c (diff) | |
parent | 9f6989d551fbbe13c0895a62207277babb69d07f (diff) | |
download | rneovim-d9be6ba7966677722a67af06d262c9700345d5f6.tar.gz rneovim-d9be6ba7966677722a67af06d262c9700345d5f6.tar.bz2 rneovim-d9be6ba7966677722a67af06d262c9700345d5f6.zip |
Merge pull request #15110 from dundargoc/PVS/V1042
[RDY] chore: PVS/V1042 - ignore warning globally.
-rwxr-xr-x | scripts/pvscheck.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/pvscheck.sh b/scripts/pvscheck.sh index f3371b485e..aa27c94f29 100755 --- a/scripts/pvscheck.sh +++ b/scripts/pvscheck.sh @@ -379,7 +379,7 @@ run_analysis() {( --sourcetree-root . || true rm -rf PVS-studio.{xml,err,tsk,html.d} - local plog_args="PVS-studio.log --srcRoot . --excludedCodes V011" + local plog_args="PVS-studio.log --srcRoot . --excludedCodes V011,V1042" plog-converter $plog_args --renderTypes xml --output PVS-studio.xml plog-converter $plog_args --renderTypes errorfile --output PVS-studio.err plog-converter $plog_args --renderTypes tasklist --output PVS-studio.tsk |