From 335db5f7e19c048211195fd6be06b3f7a84ff8de 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 08:26:15 +0100
Subject: [PATCH] Add stage around pylint run

Change-Id: I8e58ae867660f9fd32c05606058d2b710a70cc3a
Reviewed-on: https://forge.frm2.tum.de/review/19615
Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de>
Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
Reviewed-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
---
 ci/Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 3aac3fd..f57b1d3 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -29,6 +29,7 @@ def changedFiles = '';
 
 
 def run_pylint(pyver) {
+  stage ('pylint-' + pyver) {
     def status = 'OK'
     changedFiles = sh returnStdout: true, script: '''\
 #!/bin/bash
@@ -87,6 +88,7 @@ fi
                 ])
     if (status == 'FAILURE') {
         throw new Exception('Failure in pylint with ' + pyver)
+    }
   }
 } // run_pylint