From b98633f9bb01edf19c62ea1c3c32b7891aee4f46 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sun, 8 Dec 2019 16:12:11 -0500
Subject: [PATCH] Fix syntax.

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 0746c6a..73269fe 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -158,7 +158,7 @@ pipeline {
         stage('build maven-parent') {
             steps {
                 script {
-                    if ( ('true'.equals(${resume})) && (wasSuccess('maven-parent')) ) {
+                    if ( ("${resume}" == 'true') && (wasSuccess('maven-parent')) ) {
                         // propagate success
                         sh "echo -e \\\"maven-parent,SUCCESS\\\">> $JOB_REPORT"
                     } else {
@@ -227,7 +227,7 @@ def buildComponents(args, maven_settings_file, maven_local_repo_path, resume) {
         parallel args.items?.collectEntries { name ->
             ["${name}": {
                 if (name && !"NONE".equalsIgnoreCase(name)) {
-                    if ( ('true'.equals(${resume})) && (wasSuccess(name)) ) {
+                    if ( (resume == 'true') && (wasSuccess(name)) ) {
                         // propagate success
                         sh "echo -e \\\"${name},SUCCESS\\\">> $JOB_REPORT"
                     } else {