From 6d12c91f493fa1ddaeb579b71718659ed5ccc4be Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Mon, 13 Jan 2020 17:08:19 +0100
Subject: [PATCH] added debug log

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 3e999a8..c7a7652 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -146,6 +146,7 @@ pipeline {
 
                sh '''
                  # job report
+                 echo "RESUME_FROM: ${RESUME_FROM}"
                  echo "#Build ${PIPELINE_BUILD_NUMBER}" > ${JOB_REPORT}
                  echo "#StartTime ${date}" >> ${JOB_REPORT}
                  echo -e "JobName,Status" >> ${JOB_REPORT}