From 1e1eda5575b1d4dfed3781b4cc119b020a0f7f4f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Pedersen?= <bjoern.pedersen@frm2.tum.de>
Date: Tue, 26 Mar 2019 09:26:43 +0100
Subject: [PATCH] Ensure pylint results file exists and has version

Change-Id: I67df75eb477dfc8e0f515a35acba8a349743e03f
Reviewed-on: https://forge.frm2.tum.de/review/20228
Reviewed-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
Tested-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
---
 ci/Jenkinsfile | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 5b0eaa4..8b1a1eb 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -55,10 +55,15 @@ fi
 """
     withCredentials([string(credentialsId: 'GERRITHTTP',
                      variable: 'GERRITHTTP')]) {
-        sh '''\
+        sh """\
         #!/bin/bash
+	if [ -f pylint_results.txt ] ; then
           /home/jenkins/tools2/bin/pylint2gerrit
-        '''
+          mv pylint_results.txt pylint-${pyver}.txt
+        else
+          touch pylint-${pyver}.txt
+        fi
+        """
     } // credentials
 
     echo "pylint result: $res"
@@ -76,10 +81,10 @@ fi
         verifyStatusReporter: 'jenkins',
         verifyStatusRerun: '!recheck'])
     archiveArtifacts([allowEmptyArchive: true,
-                          artifacts: 'pylint_*.txt'])
+                          artifacts: 'pylint-*.txt'])
     recordIssues([enabledForFailure: true,
                   ignoreQualityGate: true,
-                  tools: [pyLint(id: idtag, name: "Pylint $info", pattern: 'pylint_*.txt')],
+                  tools: [pyLint(id: 'pylint'+$pyver, name: "Pylint $pyver", pattern: "pylint-${pyver}.txt")],
                   unhealthy: 2,
                   healthy: 1,
                   failedTotalAll: 1])