Spring/spring-boot-data-geode
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Set 'user.home' JVM System property to /opt/jenkins.

Browse Source
This commit is contained in:
John Blum
2023-05-12 16:20:02 -07:00
parent b564c391c0
commit f78e3b0f7e
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ci/build.sh
View File

@@ -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

2
ci/check.sh
View File

@@ -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