diff options
Diffstat (limited to 'distro-configs/LibreOfficeCoverity.conf')
-rw-r--r-- | distro-configs/LibreOfficeCoverity.conf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf index 9f3a06da97f3..5b301570b8fc 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -10,7 +10,6 @@ --enable-option-checking=fatal --with-system-libs --with-system-headers ---without-system-cuckoo --without-system-cppunit --without-system-libfixmath --enable-dbus |