--- 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 @@
+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}" # don't leak our secrets via `set -x`
if [ -z "${PVS_STUDIO_USERNAME}" -o -z "${PVS_STUDIO_KEY}" ] ; then