diff options
Diffstat (limited to 'distro-configs/Jenkins/Linux_ubsan_master.conf')
-rw-r--r-- | distro-configs/Jenkins/Linux_ubsan_master.conf | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/distro-configs/Jenkins/Linux_ubsan_master.conf b/distro-configs/Jenkins/Linux_ubsan_master.conf index bfc7465d50ff..b1b928e7e41e 100644 --- a/distro-configs/Jenkins/Linux_ubsan_master.conf +++ b/distro-configs/Jenkins/Linux_ubsan_master.conf @@ -6,9 +6,6 @@ --enable-eot --enable-epm --enable-evolution2 ---enable-ext-ct2n ---enable-ext-languagetool ---with-system-mariadb --enable-ext-nlpsolver --enable-ext-numbertext --enable-ext-wiki-publisher @@ -25,5 +22,5 @@ --with-system-cairo --disable-compiler-plugins --disable-gtk3 ---with-jdk-home=/etc/alternatives/java_sdk_11 +--with-jdk-home=/etc/alternatives/java_sdk_17 --enable-odk |