diff --git a/Jenkinsfile b/Jenkinsfile index 9f631be..12f1ebe 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -156,7 +156,7 @@ pipeline { // the maven-parent needs to be built (once) at each execution stage('build maven-parent') { steps { - + script { if ( ("${resume}" == 'true') && (wasSuccess('maven-parent')) ) { // propagate success sh "echo -e \\\"maven-parent,SUCCESS\\\">> $JOB_REPORT" @@ -170,6 +170,7 @@ pipeline { echo "Done with maven-parent" } + } } } stage('build components') {