talkatu/builders

adaa8ed80508
Parents c7b6f3c170e9
Children ec2845771981
Add an option to ignore specific pvs-studio codes
--- a/pvs-studio/build.sh Sun Jul 05 22:08:15 2020 -0500
+++ b/pvs-studio/build.sh Wed Aug 19 04:55:07 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