diff options
Diffstat (limited to 'distro-configs')
-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 51f80628701a..e802f25e8f29 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -11,6 +11,7 @@ --with-idlc-cpp=cpp --with-system-libs --with-system-headers +--without-system-cuckoo --without-system-cppunit --enable-dbus --enable-extension-integration |