mirror of
https://github.com/neovim/neovim.git
synced 2025-02-25 18:55:25 -06:00
Merge pull request #15110 from dundargoc/PVS/V1042
[RDY] chore: PVS/V1042 - ignore warning globally.
This commit is contained in:
commit
d9be6ba796
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user