summaryrefslogtreecommitdiff
path: root/distro-configs
diff options
context:
space:
mode:
authorCaolán McNamara <caolan.mcnamara@collabora.com>2023-06-23 20:18:51 +0100
committerCaolán McNamara <caolan.mcnamara@collabora.com>2023-06-23 21:35:24 +0200
commit9bb6f3083b8b2a763417ca1cdce21865a41ddd08 (patch)
tree85b08feb41fb43bc5b975f9ac3f05de30ae2cacb /distro-configs
parent805abacd0d1fe2d5522a2041fc3c07961a62ba5f (diff)
update LibreOfficeCoverity.conf
Change-Id: I61b62814b39d18c589e447c6518b7011f0b9bf26 Reviewed-on: https://gerrit.libreoffice.org/c/core/+/153536 Tested-by: Caolán McNamara <caolan.mcnamara@collabora.com> Reviewed-by: Caolán McNamara <caolan.mcnamara@collabora.com>
Diffstat (limited to 'distro-configs')
-rw-r--r--distro-configs/LibreOfficeCoverity.conf2
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