From 10d080a0d3132dc092bd61c47535eaa97cbcdbc8 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Mon, 19 Oct 2020 15:24:04 +0200 Subject: [PATCH] free jenkins builds from the bounds of /builds. new install path is $HOME/simgrid_install --- tools/jenkins/build.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh index f33930b518..ae085a7c17 100755 --- 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") -- 2.20.1