From ed5640d8b587fbcfed7dd7967f3de04b37a76f26 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 11:06:44 +0200 Subject: Adding upstream version 4:7.4.7. Signed-off-by: Daniel Baumann --- distro-configs/Jenkins/Linux_ubsan_master.conf | 27 ++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 distro-configs/Jenkins/Linux_ubsan_master.conf (limited to 'distro-configs/Jenkins/Linux_ubsan_master.conf') diff --git a/distro-configs/Jenkins/Linux_ubsan_master.conf b/distro-configs/Jenkins/Linux_ubsan_master.conf new file mode 100644 index 000000000..5c73e601b --- /dev/null +++ b/distro-configs/Jenkins/Linux_ubsan_master.conf @@ -0,0 +1,27 @@ +--disable-ld +--disable-ooenv +--enable-avahi +--enable-dbgutil +--enable-dbus +--enable-eot +--enable-epm +--enable-evolution2 +--with-system-mariadb +--enable-ext-nlpsolver +--enable-ext-numbertext +--enable-ext-wiki-publisher +--enable-gstreamer-1-0 +--enable-python=fully-internal +--enable-release-build +--enable-werror +--with-help +--with-lang=de en-US fi hu +--with-myspell-dicts +--without-system-libpng +--without-system-libxml +--without-system-zlib +--with-system-cairo +--disable-compiler-plugins +--disable-gtk3 +--with-jdk-home=/etc/alternatives/java_sdk_11 +--enable-odk -- cgit v1.2.3