From f2298fff6308b44695691a287a28bd80fb49ef68 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Mon, 9 Dec 2019 16:13:36 -0500
Subject: [PATCH] Remove stage block.

---
 Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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') {