diff options
| author | Caolán McNamara <caolanm@redhat.com> | 2015-01-28 10:32:31 +0000 |
|---|---|---|
| committer | Caolán McNamara <caolanm@redhat.com> | 2015-01-28 10:33:39 +0000 |
| commit | 34d45edfd405c3e77dd9deb2c693af528751d3fa (patch) | |
| tree | 17be0e657851407faabaf9f0d120668751b8a82c /distro-configs | |
| parent | 9a7bf47098fe69b5c6069372708918ef94a9d597 (diff) | |
add a reference configuration for coverity
Change-Id: I2dc149db36a5cfdbca63ea231425168fb799abe0
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/LibreOfficeCoverity.conf | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf new file mode 100644 index 000000000000..43e57488c4d5 --- /dev/null +++ b/distro-configs/LibreOfficeCoverity.conf @@ -0,0 +1,25 @@ +--enable-assert-always-abort +--without-help +--enable-gio +--disable-gnome-vfs +--without-myspell-dicts +--disable-ccache +--disable-gstreamer-0-10 +--enable-gstreamer-1-0 +--enable-option-checking=fatal +--with-system-libs +--with-system-headers +--without-system-npapi-headers +--without-system-libcmis +--without-system-cppunit +--without-system-libmwaw +--enable-dbus +--enable-extension-integration +--enable-lockdown +--enable-kde4 +--enable-evolution2 +--enable-scripting-beanshell +--enable-scripting-javascript +--enable-ext-wiki-publisher +--enable-ext-nlpsolver +--enable-online-update |