unPERLifies a bit the routing: use the object, not its name

[simgrid.git] / tools / jenkins / build.sh

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 81ffb59..1421468 100755 (executable)
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -88,6 +88,9 @@ fi
 mkdir $WORKSPACE/build
 cd $WORKSPACE/build
 
 mkdir $WORKSPACE/build
 cd $WORKSPACE/build
 

+# This is for Windows:
+PATH="$WORKSPACE/build/lib:$PATH"
+

 if test "$(uname -o)" != "Msys"; then
   echo "XX"
   echo "XX Build the archive out of the tree"
 if test "$(uname -o)" != "Msys"; then
   echo "XX"
   echo "XX Build the archive out of the tree"


@@ -100,7 +103,8 @@ if test "$(uname -o)" != "Msys"; then
   echo "XX"
   echo "XX Open the resulting archive"
   echo "XX"
   echo "XX"
   echo "XX Open the resulting archive"
   echo "XX"

-  tar xzf `cat VERSION`.tar.gz
+  gunzip `cat VERSION`.tar.gz
+  tar xf `cat VERSION`.tar

   cd `cat VERSION`
   mkdir build
   cd build
   cd `cat VERSION`
   mkdir build
   cd build