diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2019-01-18 21:51:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-18 21:51:32 +0100 |
| commit | 8a5c68f6959f8d315adb126ff49fd1970e7e75be (patch) | |
| tree | 851d1c6533952373e126287b8958ed8a179ec775 /scripts/pvscheck.sh | |
| parent | 8f9fc1f692292efe63b9e71bb6f6340bccf2b37f (diff) | |
| parent | e8137d263ee167a148d92ef7368933ee5824c103 (diff) | |
| download | rneovim-8a5c68f6959f8d315adb126ff49fd1970e7e75be.tar.gz rneovim-8a5c68f6959f8d315adb126ff49fd1970e7e75be.tar.bz2 rneovim-8a5c68f6959f8d315adb126ff49fd1970e7e75be.zip | |
Merge #9518 from justinmk/pvs-warnings
Diffstat (limited to 'scripts/pvscheck.sh')
| -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 371af7c7e5..e3c6681f7a 100755 --- a/scripts/pvscheck.sh +++ b/scripts/pvscheck.sh @@ -374,7 +374,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 --exclude-path stddef.h --exclude-path stdarg.h" 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 |