free jenkins builds from the bounds of /builds.

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

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index f33930b..ae085a7 100755 (executable)
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -12,7 +12,7 @@ echo "XXXX Cleanup previous attempts. Remaining content of /tmp:"
 rm -rf /tmp/simgrid-java*
 rm -rf /var/tmp/simgrid-java*
 rm -rf /tmp/jvm-*
-find /builds/workspace/SimGrid/ -name "hs_err_pid*.log" -exec rm -f {} +
+find $WORKSPACE -name "hs_err_pid*.log" -exec rm -f {} +
 ls /tmp
 df -h
 echo "XXXX Let's go"
@@ -103,11 +103,11 @@ build_mode="$1"
 echo "Build mode $build_mode on $(uname -np)" >&2
 case "$build_mode" in
   "Debug")
-      INSTALL="/builds/simgrid_install"
+      INSTALL="$HOME/simgrid_install"
   ;;
 
   "ModelChecker")
-      INSTALL="/builds/mc_simgrid_install"
+      INSTALL="$HOME/mc_simgrid_install"
   ;;
 
   "DynamicAnalysis")