distro-configs/LibreOfficeCoverity.conf | 1 + 1 file changed, 1 insertion(+)
New commits: commit dfe3c23c790a2917d01d8f3dd74a6b6448e9b476 Author: Caolán McNamara <[email protected]> AuthorDate: Sat Dec 4 17:31:50 2021 +0000 Commit: Caolán McNamara <[email protected]> CommitDate: Sat Dec 4 19:36:13 2021 +0100 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 <[email protected]> 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
