From a2b8c5c6fcec4df54e7191f834085b28b6fa16bd Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sun, 31 Jan 2021 22:07:32 -0500
Subject: [PATCH] Fix syntax.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index f610b36..33aee94 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -178,7 +178,7 @@ def exec(repo_url, repo_name) {
              output = sh(script: bashWrapper, returnStdout: true)?.trim()
         }
     }
-    sh "echo -e  '<action repo="${repo_url}">"' --- >> $ACTION_OUTPUT"
+    sh "echo -e  '<action repo="${repo_url}">' --- >> $ACTION_OUTPUT"
     sh "echo -e  '<stdout>' >> $ACTION_OUTPUT"
     sh "echo -e  '${output}' >> $ACTION_OUTPUT"
     sh "echo -e  '</stdout>' >> $ACTION_OUTPUT"