[Xen-devel] [OSSTEST PATCH] coverity: Switch to tools 2017.07

[Ian Jackson <ian.jackson@xxxxxxxxxxxxx>]

The old tools are no longer working.

Signed-off-by: Ian Jackson <Ian.Jackson@xxxxxxxxxxxxx>
CC: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
---
 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 security@xxxxxxx
 # 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@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel