The 2017.07 tarball had a leading "./" but the 2019.03 one doesn't,
so we must change CoverityToolsStripComponents.

The old tools we are currently using do not work any more - they are
rejected by Coverity Scan.

Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Reported-by: Matthew Krasnick <Matthew.Krasnick@synopsys.com>
CC: Jan Beulich <jbeulich@suse.com>
CC: Andrew Cooper <Andrew.Cooper3@citrix.com>
CC: Paul Durrant <xadimgnik@gmail.com>
---
 production-config | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/production-config b/production-config
index 7a8c0fd3..b7b9a062 100644
--- a/production-config
+++ b/production-config
@@ -123,8 +123,8 @@ CoverityEmail security@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-2017.07.tar.gz
-CoverityToolsStripComponents 2
+CoverityTools cov-analysis-linux64-2019.03.tar.gz
+CoverityToolsStripComponents 1
 
 # We use the IP address because Citrix can't manage reliable nameservice
 #DebianMirrorHost debian.uk.xensource.com
-- 
2.20.1