diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/pvscheck.sh | 1 | ||||
| -rwxr-xr-x | scripts/stripdecls.py | 2 |
2 files changed, 0 insertions, 3 deletions
diff --git a/scripts/pvscheck.sh b/scripts/pvscheck.sh index fed50dde53..c09e8c4555 100755 --- a/scripts/pvscheck.sh +++ b/scripts/pvscheck.sh @@ -369,7 +369,6 @@ run_analysis() {( analyze \ --threads "$(get_jobs_num)" \ --output-file PVS-studio.log \ - --verbose \ --file build/compile_commands.json \ --sourcetree-root . || true diff --git a/scripts/stripdecls.py b/scripts/stripdecls.py index 34be2a1578..a73b1980cb 100755 --- a/scripts/stripdecls.py +++ b/scripts/stripdecls.py @@ -18,8 +18,6 @@ Strip = namedtuple('Strip', 'start_line start_column end_line end_column') def main(progname, cfname, only_static, move_all): - only_static = False - cfname = os.path.abspath(os.path.normpath(cfname)) hfname1 = os.path.splitext(cfname)[0] + os.extsep + 'h' |