summaryrefslogtreecommitdiff
path: root/distro-configs
diff options
context:
space:
mode:
authorChristian Lohmaier <lohmaier+LibreOffice@googlemail.com>2020-06-18 16:07:25 +0200
committerChristian Lohmaier <lohmaier+LibreOffice@googlemail.com>2020-06-18 16:08:15 +0200
commit390ccd1a64ad1f5637877a4bec3e1af6a32858a4 (patch)
treecfd5653de50a8693363df9c381f5cc960a17dc68 /distro-configs
parent573138efec7fa28a98ba3b0301f6e0a97dac7978 (diff)
use jdk11 also for the perfsuite jenkins config
was forgotten when the other config were adjusted in 6cd885b46bf168a1fe0d91231a1b6d283f813ed3 Change-Id: I35de4248a6f835ed13cc1bdb28713b156a4785bd
Diffstat (limited to 'distro-configs')
-rw-r--r--distro-configs/Jenkins/PerfSuite_Linux.conf1
1 files changed, 1 insertions, 0 deletions
diff --git a/distro-configs/Jenkins/PerfSuite_Linux.conf b/distro-configs/Jenkins/PerfSuite_Linux.conf
index 368c7e768155..c8c30420afc3 100644
--- a/distro-configs/Jenkins/PerfSuite_Linux.conf
+++ b/distro-configs/Jenkins/PerfSuite_Linux.conf
@@ -6,4 +6,5 @@
--disable-ccache
--enable-symbols
--enable-mergelibs
+--with-jdk-home=/etc/alternatives/java_sdk_11
--enable-python=fully-internal