diff options
Diffstat (limited to 'distro-configs')
-rw-r--r-- | distro-configs/Jenkins/Linux_ubsan_master.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/distro-configs/Jenkins/Linux_ubsan_master.conf b/distro-configs/Jenkins/Linux_ubsan_master.conf index 02c630a137a3..da751f0a6cc5 100644 --- a/distro-configs/Jenkins/Linux_ubsan_master.conf +++ b/distro-configs/Jenkins/Linux_ubsan_master.conf @@ -23,5 +23,6 @@ --without-system-libpng --without-system-libxml --without-system-zlib +--with-system-cairo --disable-compiler-plugins --disable-gtk3 |