stupid me.

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

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index cda077e..81ffb59 100755 (executable)
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -130,7 +130,7 @@ make -j$NUMBER_OF_PROCESSORS VERBOSE=1
 
 if test "$(uname -o)" != "Msys"; then
   cd $WORKSPACE/build
 
 if test "$(uname -o)" != "Msys"; then
   cd $WORKSPACE/build

-  cd `cat VERSION`
+  cd `cat VERSION`/build

 fi
 
 TRES=0
 fi
 
 TRES=0