diff options
author | Caolán McNamara <caolanm@redhat.com> | 2017-01-13 13:03:26 +0000 |
---|---|---|
committer | Caolán McNamara <caolanm@redhat.com> | 2017-01-13 13:03:45 +0000 |
commit | fa44327ed791df4d8b2199e9a6d2113235d64d92 (patch) | |
tree | 1b10b7caefd5f535eb9a4081cb0f9616203c8e79 /distro-configs | |
parent | 66fd9738a5a17e382c3cd329a1ab48e57e354821 (diff) |
don't build the internal hsqldb and rhino for coverity checking
Change-Id: I7d269b1de29ecc1b0b9e6d58e316d5084e2fdcb6
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 |