From f78e3b0f7e54028a45e2b09526f1173017f46678 Mon Sep 17 00:00:00 2001 From: John Blum Date: Fri, 12 May 2023 16:20:02 -0700 Subject: [PATCH] Set 'user.home' JVM System property to /opt/jenkins. --- ci/build.sh | 2 +- ci/check.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/build.sh b/ci/build.sh index dd0c4ca8..a089183c 100755 --- a/ci/build.sh +++ b/ci/build.sh @@ -2,5 +2,5 @@ set -eou pipefail -GRADLE_OPTS="-Duser.name=jenkins -Duser.home=/tmp/jenkins-home -Djava.io.tmpdir=/tmp" \ +GRADLE_OPTS="-Duser.name=jenkins -Duser.home=/opt/jenkins -Djava.io.tmpdir=/tmp" \ ./gradlew -Pjenkins=true --no-daemon --refresh-dependencies --stacktrace clean build diff --git a/ci/check.sh b/ci/check.sh index 3900dcf0..f8d292ed 100755 --- a/ci/check.sh +++ b/ci/check.sh @@ -2,5 +2,5 @@ set -eou pipefail -GRADLE_OPTS="-Duser.name=jenkins -Duser.home=/tmp/jenkins-home -Djava.io.tmpdir=/tmp" \ +GRADLE_OPTS="-Duser.name=jenkins -Duser.home=/opt/jenkins -Djava.io.tmpdir=/tmp" \ ./gradlew -Pjenkins=true clean check --no-daemon --refresh-dependencies --stacktrace