summaryrefslogtreecommitdiff
path: root/distro-configs
diff options
context:
space:
mode:
authorCaolán McNamara <caolanm@redhat.com>2017-02-10 12:27:07 +0000
committerMiklos Vajna <vmiklos@collabora.co.uk>2017-03-14 12:00:14 +0100
commit08f0a54644c52a2c3da3b900ecf916639129e914 (patch)
treeab13b33271ba2cc52f7562ea8d0597b8d232ff41 /distro-configs
parent5297b1f14afdc88317b8937070c3cfaee8e2fa88 (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.conf1
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