diff options
| author | Tamas Bunth <tamas.bunth@collabora.co.uk> | 2018-04-08 22:54:38 +0200 |
|---|---|---|
| committer | Tamás Bunth <btomi96@gmail.com> | 2018-04-10 11:34:35 +0200 |
| commit | 8d381ae8d6c742a7e15bf7ad9e07b65f81728ef6 (patch) | |
| tree | 208efa413476624cffa4b7e504078761dfeb1a0f /distro-configs | |
| parent | 87e7fd163bc587b5c7cbb59ba40a9856f8bb225d (diff) | |
Remove dead HSQLDB driver
Change-Id: Id4cfb69079f0150c9cca2626c16df7fab441d916
Reviewed-on: https://gerrit.libreoffice.org/52611
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Tamás Bunth <btomi96@gmail.com>
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/LibreOfficeCoverity.conf | 2 |
1 files changed, 0 insertions, 2 deletions
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 |