diff options
Diffstat (limited to 'distro-configs/Jenkins/Linux_ubsan_master.conf')
| -rw-r--r-- | distro-configs/Jenkins/Linux_ubsan_master.conf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/distro-configs/Jenkins/Linux_ubsan_master.conf b/distro-configs/Jenkins/Linux_ubsan_master.conf index 5a5895979957..74a4dbf594df 100644 --- a/distro-configs/Jenkins/Linux_ubsan_master.conf +++ b/distro-configs/Jenkins/Linux_ubsan_master.conf @@ -7,7 +7,6 @@ --enable-evolution2 --enable-ext-ct2n --enable-ext-languagetool ---enable-ext-mariadb-connector --with-system-mariadb --enable-ext-nlpsolver --enable-ext-numbertext |