From 159206b298ed4b0f7388cd1e04fec97dbecc0e2d Mon Sep 17 00:00:00 2001
From: nsubiron <nsubiron@cvc.uab.es>
Date: Sat, 26 Jan 2019 14:27:17 +0100
Subject: [PATCH] Delay content download in Jenkins pipeline to save disk space

---
 Jenkinsfile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index bc106bac0..5b4cd8ab2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,7 +14,6 @@ pipeline {
         stage('Setup') {
             steps {
                 sh 'make setup'
-                sh './Update.sh'
             }
         }
 
@@ -43,6 +42,12 @@ pipeline {
             }
         }
 
+        stage('Retrieve Content') {
+            steps {
+                sh './Update.sh'
+            }
+        }
+
         stage('Package') {
             steps {
                 sh 'make package'