From 813ee82864dfae109bf53bbef11011edab7d25c9 Mon Sep 17 00:00:00 2001
From: degomme <augustin.degomme@unibas.ch>
Date: Wed, 6 Apr 2016 13:56:14 +0200
Subject: [PATCH 1/1] stupid me.

---
 tools/jenkins/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index cda077ebdc..81ffb59a35 100755
--- 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
-  cd `cat VERSION`
+  cd `cat VERSION`/build
 fi
 
 TRES=0
-- 
2.20.1