diff options
| author | Caolán McNamara <caolanm@redhat.com> | 2017-02-10 12:27:07 +0000 |
|---|---|---|
| committer | Caolán McNamara <caolanm@redhat.com> | 2017-02-10 14:03:37 +0000 |
| commit | 55e203a0c6c8c6f0c58025efd7c9079e27b438c9 (patch) | |
| tree | 8bed0a38fdc6eac12b6ec4ef5ca221a39baa74ed /distro-configs/LibreOfficeCoverity.conf | |
| parent | 9960002118fda6515c6985bc2908a69c0568a71d (diff) | |
add --disable-pdfium
Change-Id: I9137dc0030c3c752ffc0931721bf6b0013309d39
Diffstat (limited to 'distro-configs/LibreOfficeCoverity.conf')
| -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 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 |