use workspace/tmp as tmp java dir

cms-sw · Nov 29, 2024 · 3d82e8c · 3d82e8c
1 parent dc14b1d
commit 3d82e8c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/jenkins/start-slave.sh b/jenkins/start-slave.sh
@@ -169,6 +169,7 @@ if [ "${JAVA}" = "" ] ; then
   if [ "${JAVA}" = "" ] ; then JAVA="java"; fi
 fi
 ssh $SSH_OPTS $TARGET "${pre_cmd} ${JAVA} ${EXTRA_JAVA_ARGS} \
+  -Djava.io.tmpdir=$WORKSPACE/tmp \
   -Djdk.reflect.useDirectMethodHandle=false \
   --add-opens java.base/java.lang=ALL-UNNAMED \
   --add-opens java.base/java.lang.reflect=ALL-UNNAMED \