diff options
author | Caolán McNamara <caolanm@redhat.com> | 2021-05-29 15:53:11 +0100 |
---|---|---|
committer | Caolán McNamara <caolanm@redhat.com> | 2021-05-29 16:58:11 +0200 |
commit | 8196c0a0a532dc1b8577d1aa530c8f9f47fc3e61 (patch) | |
tree | d6228e6393c70b111f1e17d7d0b9bad19ed15c82 /distro-configs | |
parent | be6111c0679b9c5249250ada2814b1a00c8d8c0a (diff) |
fix coverity build failure due to --with-privacy-policy-url=...
Change-Id: Ic94cd5fd7aa472c58ff3e95e2b1759d4219ede21
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/116389
Tested-by: Caolán McNamara <caolanm@redhat.com>
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 b97d0a0d4c2d..5fd489727fc9 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -22,6 +22,7 @@ --enable-ext-wiki-publisher --enable-ext-nlpsolver --enable-online-update +--with-privacy-policy-url=https://enable-online-update --with-system-hsqldb --with-hsqldb-jar=/home/coverity/hsqldb.jar --with-system-rhino |