diff options
-rw-r--r-- | distro-configs/Jenkins/Linux_ubsan_master.conf | 42 | ||||
-rw-r--r-- | sanitize-ubsan-blacklist | 2 |
2 files changed, 44 insertions, 0 deletions
diff --git a/distro-configs/Jenkins/Linux_ubsan_master.conf b/distro-configs/Jenkins/Linux_ubsan_master.conf new file mode 100644 index 000000000000..44baa506bb57 --- /dev/null +++ b/distro-configs/Jenkins/Linux_ubsan_master.conf @@ -0,0 +1,42 @@ +--disable-ccache +--disable-ooenv +--enable-avahi +--enable-dbgutil +--enable-dbus +--enable-eot +--enable-epm +--enable-evolution2 +--enable-ext-ct2n +--enable-ext-diagram +--enable-ext-google-docs +--enable-ext-hunart +--enable-ext-languagetool +--enable-ext-mariadb-connector +--with-system-mariadb +--enable-ext-nlpsolver +--enable-ext-numbertext +--enable-ext-typo +--enable-ext-validator +--enable-ext-watch-window +--enable-ext-wiki-publisher +--enable-extra-font +--enable-extra-gallery +--enable-extra-sample +--enable-extra-template +--enable-gstreamer-1-0 +--enable-packagekit +--enable-python=fully-internal +--enable-release-build +--enable-vlc +--enable-werror +--with-help +--with-jpeg-turbo +--with-lang=de en-US fi hu +--with-myspell-dicts +--with-sun-templates +--without-system-libpng +--without-system-libxml +--without-system-zlib +--disable-compiler-plugins +--disable-firebird-sdbc +--disable-gtk3 diff --git a/sanitize-ubsan-blacklist b/sanitize-ubsan-blacklist new file mode 100644 index 000000000000..1af603c3a956 --- /dev/null +++ b/sanitize-ubsan-blacklist @@ -0,0 +1,2 @@ +fun:*_Ios_FmtflagsS_ +fun:*yyremoveDeletes* |