neovim

commit 6823fdb20b1330142506410a62474166f646bf13
parent 506d119c16135b3bb352c2dad1c902646c18de75
Author: dundargoc <gocdundar@gmail.com>
Date:   Sat,  7 Oct 2023 22:00:29 +0200

build(PVS): exclude build directory

This is to prevent reports on generated files.

Diffstat:
M
scripts/pvscheck.sh
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git 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