From 8d381ae8d6c742a7e15bf7ad9e07b65f81728ef6 Mon Sep 17 00:00:00 2001
From: Tamas Bunth <tamas.bunth@collabora.co.uk>
Date: Sun, 8 Apr 2018 22:54:38 +0200
Subject: Remove dead HSQLDB driver
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Change-Id: Id4cfb69079f0150c9cca2626c16df7fab441d916
Reviewed-on: https://gerrit.libreoffice.org/52611
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Tamás Bunth <btomi96@gmail.com>
---
 distro-configs/LibreOfficeCoverity.conf | 2 --
 1 file changed, 2 deletions(-)

(limited to 'distro-configs')

diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf
index 9d55f6811732..376b9fbe577e 100644
--- a/distro-configs/LibreOfficeCoverity.conf
+++ b/distro-configs/LibreOfficeCoverity.conf
@@ -22,7 +22,5 @@
 --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 v1.2.3