diff options
| -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 |