diff options
author | Caolán McNamara <caolanm@redhat.com> | 2017-02-10 12:27:07 +0000 |
---|---|---|
committer | Miklos Vajna <vmiklos@collabora.co.uk> | 2017-03-14 12:00:14 +0100 |
commit | 08f0a54644c52a2c3da3b900ecf916639129e914 (patch) | |
tree | ab13b33271ba2cc52f7562ea8d0597b8d232ff41 /distro-configs | |
parent | 5297b1f14afdc88317b8937070c3cfaee8e2fa88 (diff) |
add --disable-pdfium
(cherry picked from commit 55e203a0c6c8c6f0c58025efd7c9079e27b438c9)
Conflicts:
configure.ac
distro-configs/LibreOfficeOssFuzz.conf
Change-Id: I9137dc0030c3c752ffc0931721bf6b0013309d39
Diffstat (limited to 'distro-configs')
-rw-r--r-- | distro-configs/LibreOfficeCoverity.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf index bcbdab2c1d17..3aa17deac635 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 |