summaryrefslogtreecommitdiff
path: root/distro-configs
diff options
context:
space:
mode:
authorCaolán McNamara <caolanm@redhat.com>2017-01-13 13:03:26 +0000
committerCaolán McNamara <caolanm@redhat.com>2017-01-13 13:03:45 +0000
commitfa44327ed791df4d8b2199e9a6d2113235d64d92 (patch)
tree1b10b7caefd5f535eb9a4081cb0f9616203c8e79 /distro-configs
parent66fd9738a5a17e382c3cd329a1ab48e57e354821 (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.conf4
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