diff options
Diffstat (limited to 'distro-configs/LibreOfficeCoverity.conf')
| -rw-r--r-- | distro-configs/LibreOfficeCoverity.conf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf index 5b301570b8fc..29959e007812 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -11,6 +11,8 @@ --with-system-libs --with-system-headers --without-system-cppunit +--without-system-dragonbox +--without-system-frozen --without-system-libfixmath --enable-dbus --enable-extension-integration |