From d6609c8b133c409bacfb3cff1e1d68c423e58f0a Mon Sep 17 00:00:00 2001 From: Caolán McNamara Date: Tue, 28 Nov 2017 15:16:58 +0000 Subject: update Coverity config MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Change-Id: I0c7fd5d88e11bfa3dd55e7ef1a8514475a0d844a Reviewed-on: https://gerrit.libreoffice.org/45424 Reviewed-by: Caolán McNamara Tested-by: Caolán McNamara --- distro-configs/LibreOfficeCoverity.conf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'distro-configs') 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 -- cgit v1.2.3