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}"