diff options
| author | Michael Weghorn <m.weghorn@posteo.de> | 2019-06-06 18:16:36 +0200 |
|---|---|---|
| committer | Thorsten Behrens <Thorsten.Behrens@CIB.de> | 2019-06-07 11:07:42 +0200 |
| commit | 6b911ae9eb9484bebbdc1323210020486f5ef33f (patch) | |
| tree | e5d339616e7a9ca8a7f50245fc189a91e0d5aaca /distro-configs/LibreOfficeCoverity.conf | |
| parent | a46a257794f1f53b294735fc876c394be23a3811 (diff) | |
Drop support for gstreamer-0.10
Drop all GStreamer 0.10 support according to
ESC decision of 2019-06-06.
GStreamer 0.10 is obsolete and no longer needed,
superseded by GStreamer 1.0 which is available in
baseline (RHEL 7 or CentOS 7) and all relevant distros.
Change-Id: Ic317eba04d2c17e141acc983f37fbfa4301c9f3f
Reviewed-on: https://gerrit.libreoffice.org/73619
Tested-by: Jenkins
Reviewed-by: Thorsten Behrens <Thorsten.Behrens@CIB.de>
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 34b9593a6984..eee0914ca2f0 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -4,7 +4,6 @@ --without-myspell-dicts --disable-ccache --disable-pdfium ---disable-gstreamer-0-10 --enable-gstreamer-1-0 --enable-option-checking=fatal --with-system-libs |