gplugin/builders

Add an environment variable to pvs-studio to allow projects to ignore additional codes

2020-05-12, Gary Kramlich
d3b40786aa87
Parents 864fd2f872a9
Children 7598ad2960df
Add an environment variable to pvs-studio to allow projects to ignore additional codes
1 files changed, 6 insertions(+), 0 deletions(-)
  • +6 -0
    pvs-studio/build.sh
    • --- a/pvs-studio/build.sh Tue Apr 28 21:25:44 2020 -0500
    +++ b/pvs-studio/build.sh Tue May 12 00:08:37 2020 -0500
    @@ -17,9 +17,15 @@
    cd ${CONVEY_WORKSPACE}
    +PVS_IGNORED_CODES=${PVS_IGNORED_CODES:-}
    +
    BUILD_DIR="build-pvs-studio"
    PLOG_ARGS="--excludedCodes V011,V1042"
    +if [ -n "${PVS_IGNORED_CODES}" ]; then
    + PLOG_ARGS="${PLOG_ARGS},${PVS_IGNORED_CODES}"
    +fi
    +
    # don't leak our secrets via `set -x`
    set +x
    if [ -z "${PVS_STUDIO_USERNAME}" -o -z "${PVS_STUDIO_KEY}" ] ; then