diff --git a/Jenkinsfile b/Jenkinsfile index 8924847..d52708d 100755 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -38,13 +38,13 @@ pipeline { } } - stage('Security scan') { - when { - expression { - return params.Build == true + try{ + stage('Security scan') { + when { + expression { + return params.Build == true + } } - } - try{ steps { sh "docker kill sectest || true" sh "docker rm sectest || true" @@ -55,10 +55,10 @@ pipeline { sh "docker rm sectest" } } - catch(e) { - build_ok = false - echo e.toString() - } + } + catch(e) { + build_ok = false + echo e.toString() } stage('Push to local registry') {