diff options
| author | dundargoc <gocdundar@gmail.com> | 2023-10-07 22:00:29 +0200 |
|---|---|---|
| committer | dundargoc <33953936+dundargoc@users.noreply.github.com> | 2023-10-07 22:02:30 +0200 |
| commit | 6823fdb20b1330142506410a62474166f646bf13 (patch) | |
| tree | cc6370d8b085f14919062efb6dcc4c875337da53 | |
| parent | 506d119c16135b3bb352c2dad1c902646c18de75 (diff) | |
| download | rneovim-6823fdb20b1330142506410a62474166f646bf13.tar.gz rneovim-6823fdb20b1330142506410a62474166f646bf13.tar.bz2 rneovim-6823fdb20b1330142506410a62474166f646bf13.zip | |
build(PVS): exclude build directory
This is to prevent reports on generated files.
| -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 |