[Libreoffice-commits] core.git: distro-configs/LibreOfficeCoverity.conf

Fri, 13 Jan 2017 05:04:40 -0800 

 distro-configs/LibreOfficeCoverity.conf |    4 ++++
 1 file changed, 4 insertions(+)

New commits:
commit fa44327ed791df4d8b2199e9a6d2113235d64d92
Author: Caolán McNamara <caol...@redhat.com>
Date:   Fri Jan 13 13:03:26 2017 +0000

    don't build the internal hsqldb and rhino for coverity checking
    
    Change-Id: I7d269b1de29ecc1b0b9e6d58e316d5084e2fdcb6

diff --git a/distro-configs/LibreOfficeCoverity.conf 
b/distro-configs/LibreOfficeCoverity.conf
index bcbdab2..e1a1d24 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

_______________________________________________
Libreoffice-commits mailing list
libreoffice-comm...@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/libreoffice-commits

Reply via email to