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

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

diff --git a/Jenkinsfile b/Jenkinsfile
index ccbf07c..25805b2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -217,7 +217,7 @@ def buildComponents(args, maven_settings_file, maven_local_repo_path) {
         parallel args.items?.collectEntries { name ->
             ["${name}": {
                 if (name && !"NONE".equalsIgnoreCase(name)) {
-                    if ( (${params.resume}) && (wasSuccess(name)) {
+                    if ( (${params.resume}) && (wasSuccess(name)) ) {
                         // propagate success
                         sh "echo -e \\\"${name},SUCCESS\\\">> $JOB_REPORT"
                     } else {