From 3a630729d5e5453d9da0e6caa9148d206cf57f19 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Mon, 13 Jan 2020 15:47:26 +0100
Subject: [PATCH] added some logs

---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7d2f9d0..1735793 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -166,6 +166,8 @@ pipeline {
         stage('initialize local repository') {
             steps {
                 sh '''
+                		echo "RESUME_FROM: ${RESUME_FROM}"
+                		echo "RESUME: ${RESUME}"
                 		if [ -z "$RESUME_FROM" ]; then
 	                        echo "REMOVE_LOCAL_REPO: ${REMOVE_LOCAL_REPO}"
 	                        echo "CLEANUP_GCUBE_REPO: ${CLEANUP_GCUBE_REPO}"