diff options
Diffstat (limited to 'distro-configs/LibreOfficeCoverity.conf')
| -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 5b39bfd8bcd9..b97d0a0d4c2d 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -26,3 +26,4 @@ --with-hsqldb-jar=/home/coverity/hsqldb.jar --with-system-rhino --with-rhino-jar=/home/coverity/js.jar +--enable-odk |