diff options
author | Caolán McNamara <caolan.mcnamara@collabora.com> | 2023-06-23 20:18:51 +0100 |
---|---|---|
committer | Caolán McNamara <caolan.mcnamara@collabora.com> | 2023-06-23 21:35:24 +0200 |
commit | 9bb6f3083b8b2a763417ca1cdce21865a41ddd08 (patch) | |
tree | 85b08feb41fb43bc5b975f9ac3f05de30ae2cacb /distro-configs | |
parent | 805abacd0d1fe2d5522a2041fc3c07961a62ba5f (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.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 |