office-gobmx/distro-configs/Jenkins/Linux_dev_master.conf
Noel Grandin b0228e4d39 make --disable-odk the default
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>
2021-05-18 08:47:09 +02:00

6 lines
172 B
Text

--enable-dbgutil
--enable-kf5
--with-jdk-home=/etc/alternatives/java_sdk_11
CC=/opt/rh/devtoolset-7/root/usr/bin/gcc
CXX=/opt/rh/devtoolset-7/root/usr/bin/g++
--enable-odk