diff --git a/Jenkinsfile b/Jenkinsfile index 31af37791f52d9b67fa1930465f4ccb309cbd867..ec45b3766cfad51ea97d4a256ac8b6efe9bd3243 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -49,6 +49,10 @@ pipeline { post { always { publishReports { } + script { + warnings(canResolveRelativePaths: false, + consoleParsers: [[parserName: 'GNU C Compiler 4 (gcc)']]) + } } failure { dir('build') { deleteDir() } @@ -224,6 +228,8 @@ pipeline { post { always { publishReports { } + warnings(canResolveRelativePaths: false, + consoleParsers: [[parserName: 'MSBuild']]) } failure { dir('build') { deleteDir() } @@ -370,6 +376,8 @@ pipeline { post { always { dir('build') { deleteDir() } + warnings(canResolveRelativePaths: false, + consoleParsers: [[parserName: 'Clang (LLVM based)']]) } } }