From fa44327ed791df4d8b2199e9a6d2113235d64d92 Mon Sep 17 00:00:00 2001 From: Caolán McNamara Date: Fri, 13 Jan 2017 13:03:26 +0000 Subject: don't build the internal hsqldb and rhino for coverity checking Change-Id: I7d269b1de29ecc1b0b9e6d58e316d5084e2fdcb6 --- distro-configs/LibreOfficeCoverity.conf | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'distro-configs') 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 -- cgit