diff --git a/Jenkinsfile b/Jenkinsfile index 5aec693204d..f7e0d8bf8e9 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -135,4 +135,6 @@ try { "*COMMIT*: by ${source.COMMITTER}\n" + "*INFO*: ${e}" } + + currentBuild.result = 'FAILURE' }