distro-configs/LibreOfficeCoverity.conf | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
New commits:
commit d6609c8b133c409bacfb3cff1e1d68c423e58f0a
Author: Caolán McNamara <caol...@redhat.com>
Date: Tue Nov 28 15:16:58 2017 +0000
update Coverity config
Change-Id: I0c7fd5d88e11bfa3dd55e7ef1a8514475a0d844a
Reviewed-on: https://gerrit.libreoffice.org/45424
Reviewed-by: Caolán McNamara <caol...@redhat.com>
Tested-by: Caolán McNamara <caol...@redhat.com>
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
_______________________________________________
Libreoffice-commits mailing list
libreoffice-comm...@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/libreoffice-commits
