gplugin/builders

Update pvs-studio to the latest version

2020-07-05, Gary Kramlich
7598ad2960df
Parents d3b40786aa87
Children d000a9f49e96
Update pvs-studio to the latest version
--- a/Dockerfile.pvs-studio Tue May 12 00:08:37 2020 -0500
+++ b/Dockerfile.pvs-studio Sun Jul 05 18:16:45 2020 -0500
@@ -1,6 +1,6 @@
FROM gplugin/builders:debian-bullseye-amd64
-ENV PVS_STUDIO_DOWNLOAD_URL=https://files.viva64.com/pvs-studio-7.07.38234.46-x86_64.tgz
+ENV PVS_STUDIO_DOWNLOAD_URL=https://files.viva64.com/pvs-studio-7.08.39765.52-x86_64.tgz
MAINTAINER Gary Kramlich <grim@reaperworld.com>