diff options
Diffstat (limited to 'distro-configs/Jenkins/Linux_ubsan_master.conf')
| -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 959b5d7a28ae..55cdb13d4ae2 100644 --- a/distro-configs/Jenkins/Linux_ubsan_master.conf +++ b/distro-configs/Jenkins/Linux_ubsan_master.conf @@ -13,10 +13,6 @@ --enable-ext-nlpsolver --enable-ext-numbertext --enable-ext-wiki-publisher ---enable-extra-font ---enable-extra-gallery ---enable-extra-sample ---enable-extra-template --enable-gstreamer-1-0 --enable-python=fully-internal --enable-release-build @@ -26,7 +22,6 @@ --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 |