From 973da3d5b1e8b7ffc8df0f564ed8eb7b9272741a Mon Sep 17 00:00:00 2001
From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Mon, 14 Oct 2013 17:19:45 +0200
Subject: [PATCH 1/1] avoid failing the tar extraction and working on previous
 version instead

---
 buildtools/jenkins/run.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/buildtools/jenkins/run.sh b/buildtools/jenkins/run.sh
index 910530769e..c1141b3181 100755
--- a/buildtools/jenkins/run.sh
+++ b/buildtools/jenkins/run.sh
@@ -37,8 +37,9 @@ then
     make
 else    
     cmake $WORKSPACE
+    rm Simgrid*.tar.gz
     make dist
-    tar xzf `cat $WORKSPACE/VERSION`.tar.gz
+    tar xzf `cat VERSION`.tar.gz
     cd `cat VERSION`
 
     if [ "$build_mode" = "Debug" ]
-- 
2.20.1