diff options
| author | Caolán McNamara <caolanm@redhat.com> | 2022-03-26 10:32:11 +0000 |
|---|---|---|
| committer | Caolán McNamara <caolanm@redhat.com> | 2022-03-26 15:18:37 +0100 |
| commit | 0527446d05059a54130106edb7418a3aa6796d5b (patch) | |
| tree | cceb5e0f44290c0ce2751f9b873c638d32d4f156 /distro-configs | |
| parent | be04a8072e4af30ca6ead36aa92d5f380cd9feb9 (diff) | |
--without-system-libfixmath for coverity build
Change-Id: I28ba6fd50d2c97bcdb1f9b56eb416f01813bd175
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/132131
Tested-by: Jenkins
Reviewed-by: Caolán McNamara <caolanm@redhat.com>
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 8334596b230a..04876f082d93 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -13,6 +13,7 @@ --with-system-headers --without-system-cuckoo --without-system-cppunit +--without-system-libfixmath --enable-dbus --enable-extension-integration --enable-gtk3 |