From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 9 Jun 2016 09:57:03 +0000 (+0200)
Subject: [jenkins] Add lib/ in the PATH for Windows
X-Git-Tag: v3_14~1009^2~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/eaa70347742788afe935bafc6be28e7b0c0bd2cf

[jenkins] Add lib/ in the PATH for Windows
---

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 7a77cf8d41..1421468644 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -88,6 +88,9 @@ fi
 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"