From b4eb9fae99556903a0d4f4f8fcb5501bbd3ee97c 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:34:15 +0100
Subject: [PATCH] Fix typo

Change-Id: Ic1810be4d8114e96eb1c30810e2beba82b739baf
Reviewed-on: https://forge.frm2.tum.de/review/20229
Reviewed-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
Tested-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
---
 ci/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 8b1a1eb..56e8bc5 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -84,7 +84,7 @@ fi
                           artifacts: 'pylint-*.txt'])
     recordIssues([enabledForFailure: true,
                   ignoreQualityGate: true,
-                  tools: [pyLint(id: 'pylint'+$pyver, name: "Pylint $pyver", pattern: "pylint-${pyver}.txt")],
+                  tools: [pyLint(id: 'pylint'+pyver, name: "Pylint $pyver", pattern: "pylint-${pyver}.txt")],
                   unhealthy: 2,
                   healthy: 1,
                   failedTotalAll: 1])