From 59b7f678b37e8d68ed17cd2056c691e155d9257d Mon Sep 17 00:00:00 2001 From: John Blum Date: Tue, 6 Apr 2021 10:35:22 -0700 Subject: [PATCH] Set the 'java.io.tmpdir' Java System Property to '/tmp'. --- ci/check.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/check.sh b/ci/check.sh index f21fce61..1e04b0d9 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" \ - ./gradlew --no-daemon --refresh-dependencies --stacktrace clean check +GRADLE_OPTS="-Duser.name=jenkins -Duser.home=/tmp/jenkins-home -Djava.io.tmpdir=/tmp" \ + ./gradlew clean check --no-daemon --refresh-dependencies --stacktrace