mirrors/neovim
1
0
Fork 0
mirror of https://github.com/neovim/neovim.git synced 2025-09-06 11:28:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

pvscheck.sh: do not set --sourcetree-root [ci skip]

Browse Source 
System headers should be ignored by PVS, but somehow aren't.
See also: https://stackoverflow.com/q/44906903
This commit is contained in:
Justin M. Keyes
2019-01-19 12:27:06 +01:00
parent 8a5c68f695
commit 391f0c1ce7
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
scripts/pvscheck.sh
View File

@@ -371,10 +371,10 @@ run_analysis() {(
--output-file PVS-studio.log \ --output-file PVS-studio.log \
--verbose \ --verbose \
--file build/compile_commands.json \ --file build/compile_commands.json \
--sourcetree-root . || true || true
rm -rf PVS-studio.{xml,err,tsk,html.d} rm -rf PVS-studio.{xml,err,tsk,html.d}
local plog_args="PVS-studio.log --srcRoot . --excludedCodes V011 --exclude-path stddef.h --exclude-path stdarg.h" local plog_args="PVS-studio.log --srcRoot . --excludedCodes V011"
plog-converter $plog_args --renderTypes xml --output PVS-studio.xml 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 errorfile --output PVS-studio.err
plog-converter $plog_args --renderTypes tasklist --output PVS-studio.tsk plog-converter $plog_args --renderTypes tasklist --output PVS-studio.tsk
@@ -473,8 +473,6 @@ main() {
return 0 return 0
fi fi
# set -x
if test -n "$patch" ; then if test -n "$patch" ; then
patch_sources "$tgt" "$only_build" patch_sources "$tgt" "$only_build"
elif test -n "$pvs_install" ; then elif test -n "$pvs_install" ; then