From a94fd80ce71214d023634aef3bef78adab6044b6 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sun, 31 Jan 2021 22:47:55 -0500
Subject: [PATCH] Add -e to echo.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index d2e3fa4..fb2e3ad 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -66,7 +66,7 @@ pipeline {
                    echo "#Build ${PIPELINE_BUILD_NUMBER},," > $ACTION_REPORT
                    echo "#StartTime ${date},," >> $ACTION_REPORT
                    echo "Project,Repo,Result" >> $ACTION_REPORT
-                   echo "<actions from=\"${ACTION_URL}\">" > $ACTION_OUTPUT
+                   echo -e "<actions from=\"${ACTION_URL}\">" > $ACTION_OUTPUT
                    '''
             }
         }