diff options
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 |