diff options
| author | Sophia Schröder <sophia.schroeder@libreoffice.org> | 2018-04-11 15:39:57 +0100 |
|---|---|---|
| committer | Tamás Bunth <btomi96@gmail.com> | 2018-04-12 09:09:37 +0200 |
| commit | f4fc28aedf9c673f368ddc00f3279f6d54c1a654 (patch) | |
| tree | afb5988b77618f0be0f91df8de70e0de779caec2 /distro-configs | |
| parent | 189d3e10c7d25138c58f28ca4f5c041f1a9f4494 (diff) | |
Revert "Remove dead HSQLDB driver"
We cannot silently convert user data or their used file formats
and then await them to accept it or reinstall an older version.
Let us make a soft change instead of an hard (heart) break
and avoid us to been attacked with fire and forks from our users.
This reverts commit 8d381ae8d6c742a7e15bf7ad9e07b65f81728ef6.
Change-Id: Ia153640935e355771acb85cf652f8fe4c21fafbb
Reviewed-on: https://gerrit.libreoffice.org/52731
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, 2 insertions, 0 deletions
diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf index 376b9fbe577e..9d55f6811732 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -22,5 +22,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 |