From e42e3e9466c2a794b1d83095da86effda8c7954c Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Mon, 21 Jan 2019 20:31:55 +0100
Subject: [PATCH] [Jenkins] Publish checker results on failure.

---
 Jenkinsfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 846a7e26ecc..d8e50df44d0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -112,13 +112,14 @@ pipeline {
                 excludeFile('.*qrc_icons\\.cpp.*'), excludeFile('.*QVTKWidget.*')],
                 tools: [gcc4(name: 'GCC', pattern: 'build/build.log')],
                 unstableTotalAll: 3
-              recordIssues filters: [
+              recordIssues enabledForFailure: true, filters: [
                   excludeFile('-'), excludeFile('.*Functional\\.h'),
                   excludeFile('.*gmock-.*\\.h'), excludeFile('.*gtest-.*\\.h')
                 ],
                 tools: [doxygen(pattern: 'build/DoxygenWarnings.log')],
                 failedTotalAll: 1
-              recordIssues tools: [cppCheck(pattern: 'build/cppcheck.log')]
+              recordIssues enabledForFailure: true,
+                tools: [cppCheck(pattern: 'build/cppcheck.log')]
             }
             success {
               publishHTML(target: [allowMissing: false, alwaysLinkToLastBuild: true,
-- 
GitLab