diff options
Diffstat (limited to 'distro-configs')
-rw-r--r-- | distro-configs/LibreOfficeCoverity.conf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf index bcbdab2c1d17..e1a1d2450d25 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -20,3 +20,7 @@ --enable-ext-wiki-publisher --enable-ext-nlpsolver --enable-online-update +--with-system-hsqldb +--with-hsqldb-jar=/home/coverity/hsqldb.jar +--with-system-rhino +--with-rhino-jar=/home/coverity/js.jar |