diff options
| author | Caolán McNamara <caolanm@redhat.com> | 2021-12-04 17:31:50 +0000 |
|---|---|---|
| committer | Caolán McNamara <caolanm@redhat.com> | 2021-12-04 19:36:13 +0100 |
| commit | dfe3c23c790a2917d01d8f3dd74a6b6448e9b476 (patch) | |
| tree | c08af01501d79184dfb0d6987ac2cf29a009a907 /distro-configs | |
| parent | 921c2059f9a85ab5ad26463e864e49d4e7b48d9e (diff) | |
use --with-system-lockfile for coverity build
we don't care about that tool
Change-Id: Ifc0910a77177e504a35fcf35efad92d6ede63507
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/126365
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 e802f25e8f29..8334596b230a 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -28,4 +28,5 @@ --with-hsqldb-jar=/home/coverity/hsqldb.jar --with-system-rhino --with-rhino-jar=/home/coverity/js.jar +--with-system-lockfile --enable-odk |