diff options
-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 |