diff options
| -rwxr-xr-x | scripts/pvscheck.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/pvscheck.sh b/scripts/pvscheck.sh index 97757c0848..81f309aeb3 100755 --- a/scripts/pvscheck.sh +++ b/scripts/pvscheck.sh @@ -375,6 +375,7 @@ run_analysis() {( --threads "$(get_jobs_num)" \ --exclude-path src/cjson \ --exclude-path src/xdiff \ + --exclude-path build \ --output-file PVS-studio.log \ --file build/compile_commands.json \ --sourcetree-root . || true |