From 6823fdb20b1330142506410a62474166f646bf13 Mon Sep 17 00:00:00 2001
From: dundargoc <gocdundar@gmail.com>
Date: Sat, 7 Oct 2023 22:00:29 +0200
Subject: [PATCH] build(PVS): exclude build directory

This is to prevent reports on generated files.
---
 scripts/pvscheck.sh | 1 +
 1 file changed, 1 insertion(+)

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