From 17ae9a4be60bc4b486f6d27532e417f708d5bffc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Pedersen?= <bjoern.pedersen@frm2.tum.de>
Date: Fri, 14 Dec 2018 13:32:55 +0100
Subject: [PATCH] Correctly publish pylint results

Change-Id: Ica71417f8e13959eb46065f1fe664b362d701d8c
Reviewed-on: https://forge.frm2.tum.de/review/19619
Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de>
Reviewed-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
---
 ci/Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 55c740d..83d88fe 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -62,12 +62,13 @@ fi
     } // credentials
 
     echo "pylint result: $res"
-
+    this.verifyresult.put('pylint'+pyver, 1)
     if ( res != 0 ) {
         currentBuild.result='FAILURE'
         this.verifyresult.put('pylint'+ pyver, -1)
         status = 'FAILURE'
     }
+
     gerritverificationpublisher([
         verifyStatusValue: this.verifyresult['pylint'+pyver],
         verifyStatusCategory: 'pylint ',