diff options
Diffstat (limited to 'scripts/pvscheck.sh')
| -rwxr-xr-x | scripts/pvscheck.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/pvscheck.sh b/scripts/pvscheck.sh index c09e8c4555..1efde4223d 100755 --- a/scripts/pvscheck.sh +++ b/scripts/pvscheck.sh @@ -363,10 +363,15 @@ run_analysis() {( cd "$tgt" + if [ ! -r PVS-Studio.lic ]; then + pvs-studio-analyzer credentials -o PVS-Studio.lic 'PVS-Studio Free' 'FREE-FREE-FREE-FREE' + fi + # pvs-studio-analyzer exits with a non-zero exit code when there are detected # errors, so ignore its return pvs-studio-analyzer \ analyze \ + --lic-file PVS-Studio.lic \ --threads "$(get_jobs_num)" \ --output-file PVS-studio.log \ --file build/compile_commands.json \ |