From d5a637bae69ed58fcf7b9a80db25364c8e35084a Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Mon, 13 Jan 2020 17:53:07 +0100
Subject: [PATCH] Invert check on resume.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 3ac777c..b68987b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -166,7 +166,7 @@ pipeline {
         stage('initialize local repository') {
             steps {
                 script {
-                    if (resume) {
+                    if (!resume) {
                         sh '''
                             echo "REMOVE_LOCAL_REPO: ${REMOVE_LOCAL_REPO}"
                             echo "CLEANUP_GCUBE_REPO: ${CLEANUP_GCUBE_REPO}"