From 69c1d6868943d004e283995aaa8226c2f6942071 Mon Sep 17 00:00:00 2001 From: John Blum Date: Fri, 12 May 2023 11:49:26 -0700 Subject: [PATCH] Add 'jenkins' Gradle, Java System property set to 'true'. --- 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 284bfaf1..dd0c4ca8 100755 --- a/ci/build.sh +++ b/ci/build.sh @@ -3,4 +3,4 @@ set -eou pipefail GRADLE_OPTS="-Duser.name=jenkins -Duser.home=/tmp/jenkins-home -Djava.io.tmpdir=/tmp" \ - ./gradlew --no-daemon --refresh-dependencies --stacktrace clean build + ./gradlew -Pjenkins=true --no-daemon --refresh-dependencies --stacktrace clean build diff --git a/ci/check.sh b/ci/check.sh index 1e04b0d9..3900dcf0 100755 --- a/ci/check.sh +++ b/ci/check.sh @@ -3,4 +3,4 @@ set -eou pipefail GRADLE_OPTS="-Duser.name=jenkins -Duser.home=/tmp/jenkins-home -Djava.io.tmpdir=/tmp" \ - ./gradlew clean check --no-daemon --refresh-dependencies --stacktrace + ./gradlew -Pjenkins=true clean check --no-daemon --refresh-dependencies --stacktrace