diff --git a/Jenkinsfile b/Jenkinsfile index 28fb4de..9fe7736 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -76,6 +76,13 @@ pipeline { } } + } + steps { + catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { + sh "exit 1" + } + } + steps { sh ''' echo "cleanup $DEPLOY_FILE"; if [ -f ${DEPLOY_BACKUP} ]; then