diff options
Diffstat (limited to 'distro-configs')
| -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 e1a1d2450d25..a20b3cc1c2fc 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -3,6 +3,7 @@ --enable-gio --without-myspell-dicts --disable-ccache +--disable-pdfium --disable-gstreamer-0-10 --enable-gstreamer-1-0 --enable-option-checking=fatal diff --git a/distro-configs/LibreOfficeOssFuzz.conf b/distro-configs/LibreOfficeOssFuzz.conf index a58a862271b9..9476647b3573 100644 --- a/distro-configs/LibreOfficeOssFuzz.conf +++ b/distro-configs/LibreOfficeOssFuzz.conf @@ -8,6 +8,7 @@ --disable-gui --disable-gtk --disable-gtk3 +--disable-pdfium --disable-postgresql-sdbc --disable-firebird-sdbc --disable-coinmp |