From f30adc1393b290e31ead7aad44974a9d1f1e03fe Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sun, 23 Oct 2016 23:44:01 +0200
Subject: [PATCH] Reset workspace

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 14880e4..d48cd7e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -6,6 +6,7 @@ parallel (
   {
     stage ('gin_build')
     {
+      deleteDir()
       checkout scm
       sh "./build.sh $WORKSPACE $NODE_NAME"
     }
@@ -20,6 +21,7 @@ parallel (
   {
     stage ('nyu_build')
     {
+      deleteDir()
       checkout scm
       sh "./build.sh $WORKSPACE $NODE_NAME"
     }
@@ -35,6 +37,7 @@ parallel (
     env.PATH = "/usr/local/bin:${env.PATH}"
     stage ('sb15_build')
     {
+      deleteDir()
       checkout scm
       sh "./build.sh $WORKSPACE $NODE_NAME"
     }
-- 
GitLab