diff options
| author | Caolán McNamara <caolanm@redhat.com> | 2017-11-28 15:16:58 +0000 |
|---|---|---|
| committer | Caolán McNamara <caolanm@redhat.com> | 2017-11-28 16:23:33 +0100 |
| commit | d6609c8b133c409bacfb3cff1e1d68c423e58f0a (patch) | |
| tree | 3b4d2b51b95286fa9a7d34087a7c67d14534a994 /distro-configs | |
| parent | 0888f29b1b3be991a01c58fb380a121fe96b00cb (diff) | |
update Coverity config
Change-Id: I0c7fd5d88e11bfa3dd55e7ef1a8514475a0d844a
Reviewed-on: https://gerrit.libreoffice.org/45424
Reviewed-by: Caolán McNamara <caolanm@redhat.com>
Tested-by: Caolán McNamara <caolanm@redhat.com>
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/LibreOfficeCoverity.conf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf index a20b3cc1c2fc..e387254a6405 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -9,11 +9,11 @@ --enable-option-checking=fatal --with-system-libs --with-system-headers ---without-system-libcmis +--with-system-ucpp --without-system-cppunit ---without-system-libmwaw --enable-dbus --enable-extension-integration +--enable-gtk3 --enable-kde4 --enable-evolution2 --enable-scripting-beanshell |