b0228e4d39
Because developers (especially new ones) don't need this, or the extra dependencies it tends to trigger Update distro and jenkins configs so that the ones that were building ODK before, are still building it after this. Change-Id: I5dc71e70dc457b7921a146008d7d2317b199caab Reviewed-on: https://gerrit.libreoffice.org/c/core/+/115647 Tested-by: Jenkins Reviewed-by: Noel Grandin <noel.grandin@collabora.co.uk>
3 lines
81 B
Text
3 lines
81 B
Text
--enable-fuzz-options
|
|
--with-jdk-home=/etc/alternatives/java_sdk_11
|
|
--enable-odk
|