The old tools are no longer working. Signed-off-by: Ian Jackson <ian.jack...@eu.citrix.com> CC: Andrew Cooper <andrew.coop...@citrix.com> --- production-config | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/production-config b/production-config index 96831c7..1bc56d8 100644 --- a/production-config +++ b/production-config @@ -114,7 +114,7 @@ CoverityEmail secur...@xen.org # This is only read from daily-cron-settings-real, everything else # gets the default/dummy path CoverityUploadUrl https://scan.coverity.com/builds?project=XenProject -CoverityTools cov-analysis-linux64-7.7.0.4.tar.gz +CoverityTools cov-analysis-linux64-2017.07.tar.gz # We use the IP address because Citrix can't manage reliable nameservice #DebianMirrorHost debian.uk.xensource.com -- 2.1.4 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
