avoid failing the tar extraction and working on previous version instead

diff --git a/buildtools/jenkins/run.sh b/buildtools/jenkins/run.sh
index 9105307..c1141b3 100755 (executable)
--- a/buildtools/jenkins/run.sh
+++ b/buildtools/jenkins/run.sh
@@ -37,8 +37,9 @@ then
     make
 else    
     cmake $WORKSPACE
     make
 else    
     cmake $WORKSPACE

+    rm Simgrid*.tar.gz

     make dist
     make dist

-    tar xzf `cat $WORKSPACE/VERSION`.tar.gz
+    tar xzf `cat VERSION`.tar.gz

     cd `cat VERSION`
 
     if [ "$build_mode" = "Debug" ]
     cd `cat VERSION`
 
     if [ "$build_mode" = "Debug" ]