diff options
-rw-r--r-- | distro-configs/Jenkins/Linux_ubsan_master.conf | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/distro-configs/Jenkins/Linux_ubsan_master.conf b/distro-configs/Jenkins/Linux_ubsan_master.conf index bcb3c24c4343..959b5d7a28ae 100644 --- a/distro-configs/Jenkins/Linux_ubsan_master.conf +++ b/distro-configs/Jenkins/Linux_ubsan_master.conf @@ -6,17 +6,12 @@ --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 |