diff options
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 81f309aeb3..5334dd2fb7 100755 --- a/scripts/pvscheck.sh +++ b/scripts/pvscheck.sh @@ -374,6 +374,8 @@ run_analysis() {( --lic-file PVS-Studio.lic \ --threads "$(get_jobs_num)" \ --exclude-path src/cjson \ + --exclude-path src/klib \ + --exclude-path src/mpack \ --exclude-path src/xdiff \ --exclude-path build \ --output-file PVS-studio.log \ @@ -381,7 +383,7 @@ run_analysis() {( --sourcetree-root . || true rm -rf PVS-studio.{xml,err,tsk,html.d} - local plog_args="PVS-studio.log --srcRoot . --excludedCodes V002,V011,V1028,V1042,V1051,V1074" + local plog_args="PVS-studio.log --srcRoot . --excludedCodes V002,V011,V601,V1028,V1042,V1051,V1074" 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 |