distro-configs/Jenkins/Linux_ubsan_master.conf

   1 --disable-ld
   2 --disable-ooenv
   3 --enable-avahi
   4 --enable-dbgutil
   5 --enable-dbus
   6 --enable-eot
   7 --enable-epm
   8 --enable-evolution2
   9 --enable-ext-ct2n
  10 --enable-ext-languagetool
  11 --with-system-mariadb
  12 --enable-ext-nlpsolver
  13 --enable-ext-numbertext
  14 --enable-ext-wiki-publisher
  15 --enable-gstreamer-1-0
  16 --enable-python=fully-internal
  17 --enable-release-build
  18 --enable-werror
  19 --with-help
  20 --with-lang=de en-US fi hu
  21 --with-myspell-dicts
  22 --without-system-libpng
  23 --without-system-libxml
  24 --without-system-zlib
  25 --with-system-cairo
  26 --disable-compiler-plugins
  27 --disable-gtk3
  28 --with-jdk-home=/etc/alternatives/java_sdk_11