gplugin/builders

Parents 993d84b43a95
Children 95e6ea59f233
Update pvs-studio and start trying to get it able to run as non-root
--- a/Dockerfile.pvs-studio Sun Mar 08 23:23:25 2020 -0500
+++ b/Dockerfile.pvs-studio Sun Mar 08 23:26:19 2020 -0500
@@ -1,6 +1,6 @@
FROM gplugin/builders:debian-bullseye-amd64
-ENV PVS_STUDIO_DOWNLOAD_URL=http://files.viva64.com/pvs-studio-7.05.35582.25-x86_64.tgz
+ENV PVS_STUDIO_DOWNLOAD_URL=http://files.viva64.com/pvs-studio-7.06.37052.34-x86_64.tgz
MAINTAINER Gary Kramlich <grim@reaperworld.com>
--- a/pvs-studio/build.sh Sun Mar 08 23:23:25 2020 -0500
+++ b/pvs-studio/build.sh Sun Mar 08 23:26:19 2020 -0500
@@ -30,8 +30,8 @@
# don't echo commands as we're stashing secrets
set +x
-echo "${PVS_STUDIO_USERNAME}" > /license
-echo "${PVS_STUDIO_KEY}" >> /license
+echo "${PVS_STUDIO_USERNAME}" > /tmp/license
+echo "${PVS_STUDIO_KEY}" >> /tmp/license
set -x
meson ${BUILD_DIR}
@@ -44,7 +44,7 @@
ninja -t compdb
# run the analyzer
-pvs-studio-analyzer analyze -l /license -o pvs-studio.log
+pvs-studio-analyzer analyze -l /tmp/license -o pvs-studio.log
# convert the output to html
plog-converter -a GA:1,2 -t fullhtml -o pvs-studio -p ${HG_REMOTE} -v ${HG_COMMIT} ${PLOG_ARGS} pvs-studio.log