diff options
-rw-r--r-- | distro-configs/LibreOfficeCoverity.conf | 1 | ||||
-rw-r--r-- | distro-configs/LibreOfficeOssFuzz.conf | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf index e657f937fffe..68154cb9ccda 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -4,6 +4,7 @@ --without-myspell-dicts --disable-ccache --disable-pdfium +--disable-skia --enable-gstreamer-1-0 --enable-option-checking=fatal --with-system-libs diff --git a/distro-configs/LibreOfficeOssFuzz.conf b/distro-configs/LibreOfficeOssFuzz.conf index ab9ec3b3b01e..77f021112dd7 100644 --- a/distro-configs/LibreOfficeOssFuzz.conf +++ b/distro-configs/LibreOfficeOssFuzz.conf @@ -6,6 +6,7 @@ --disable-gui --disable-gtk3 --disable-pdfium +--disable-skia --disable-postgresql-sdbc --disable-firebird-sdbc --disable-coinmp |