diff --git a/distro-configs/Jenkins/Linux_ubsan_master.conf b/distro-configs/Jenkins/Linux_ubsan_master.conf index 46338003d792..5a5895979957 100644 --- a/distro-configs/Jenkins/Linux_ubsan_master.conf +++ b/distro-configs/Jenkins/Linux_ubsan_master.conf @@ -24,5 +24,4 @@ --without-system-libxml --without-system-zlib --disable-compiler-plugins ---disable-firebird-sdbc --disable-gtk3