From e81bc64dbc44aaa5252c836fc8ca9e8bbbe04b05 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sat, 7 Dec 2019 22:44:36 -0500
Subject: [PATCH] Adjust echo command, again.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 840d5ad..624f526 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -216,7 +216,7 @@ def buildComponents(args, maven_settings_file, maven_local_repo_path) {
                                          [$class: 'LabelParameterValue', name: 'exec_label', label: "CD", nodeEligibility: [$class: 'AllNodeEligibility']]
                             ])
 
-                   echo -e '${name},${job.getResult()}' >> ${AGENT_ROOT_FOLDER}/build_jobs.${PIPELINE_BUILD_NUMBER}.csv
+                   sh "echo -e \\\"${name},${job.getResult()}\\\">> ${AGENT_ROOT_FOLDER}/build_jobs.${PIPELINE_BUILD_NUMBER}.csv"
             }]
         }
     }