From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 23 Apr 2018 20:28:14 +0000 (+0200)
Subject: jenkins: save SIMGRID_VERSION as a variable, so that it's usable from every directories
X-Git-Tag: v3.20~333
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7a4a0f13a2547b37b1eab2a9ecfc1f95a3426a37

jenkins: save SIMGRID_VERSION as a variable, so that it's usable from every directories
---

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 25a7613290..0bad846ad9 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -98,16 +98,17 @@ echo "XX"
 
 cmake -G"$GENERATOR" -Denable_documentation=OFF $WORKSPACE
 make dist -j$NUMBER_OF_PROCESSORS
+SIMGRID_VERSION=$(cat VERSION)
 
 echo "XX"
 echo "XX Open the resulting archive"
 echo "XX"
-gunzip $(cat VERSION).tar.gz
-tar xf $(cat VERSION).tar
-cd $(cat VERSION)
+gunzip ${SIMGRID_VERSION}.tar.gz
+tar xf ${SIMGRID_VERSION}.tar
+cd ${SIMGRID_VERSION}
 mkdir build
 cd build
-SRCFOLDER=".."
+SRCFOLDER="${WORKSPACE}/build/${SIMGRID_VERSION}"
 
 echo "XX"
 echo "XX Configure and build SimGrid"
@@ -136,8 +137,6 @@ set +x
 
 make -j$NUMBER_OF_PROCESSORS VERBOSE=1
 
-cd $WORKSPACE/build/$(cat VERSION)/build
-
 echo "XX"
 echo "XX Run the tests"
 echo "XX   pwd: "$(pwd)