From a7822fd12dffee857b500d2fff41a06ceeeb5151 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Thu, 12 Dec 2019 22:56:27 -0500
Subject: [PATCH] Fix script syntax.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 918020f..46ec417 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -142,7 +142,7 @@ pipeline {
 
                sh '''
                  # job report
-                 echo ""#Build ${PIPELINE_BUILD_NUMBER}" > ${JOB_REPORT}
+                 echo "#Build ${PIPELINE_BUILD_NUMBER}" > ${JOB_REPORT}
                  echo "#StartTime ${date}" >> ${JOB_REPORT}
                  echo -e "JobName,Status" >> ${JOB_REPORT}