distro-configs/LibreOfficeCoverity.conf | 2 ++ 1 file changed, 2 insertions(+)
New commits: commit 9bb6f3083b8b2a763417ca1cdce21865a41ddd08 Author: Caolán McNamara <[email protected]> AuthorDate: Fri Jun 23 20:18:51 2023 +0100 Commit: Caolán McNamara <[email protected]> CommitDate: Fri Jun 23 21:35:24 2023 +0200 update LibreOfficeCoverity.conf Change-Id: I61b62814b39d18c589e447c6518b7011f0b9bf26 Reviewed-on: https://gerrit.libreoffice.org/c/core/+/153536 Tested-by: Caolán McNamara <[email protected]> Reviewed-by: Caolán McNamara <[email protected]> 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
