diff --git a/Jenkinsfile b/Jenkinsfile index 846a7e26ecc3b11fef488cefaddb4e93c7c6bce7..d8e50df44d0fce6d04501093a22028ab044759bd 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,