diff options
| -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 5b301570b8fc..25e5c5d1af87 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -9,6 +9,8 @@ --enable-gstreamer-1-0 --enable-option-checking=fatal --with-system-libs +--with-system-graphite +--with-system-harfbuzz --with-system-headers --without-system-cppunit --without-system-libfixmath |