Welcome to mirror list, hosted at ThFree Co, Russian Federation.

gitlab.freedesktop.org/gstreamer/gst-plugins-rs.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
Diffstat (limited to 'ci')
-rw-r--r--ci/utils.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/ci/utils.py b/ci/utils.py
index dc1db7131..c5f0698ee 100644
--- a/ci/utils.py
+++ b/ci/utils.py
@@ -5,7 +5,8 @@ DIRS = ['audio', 'generic', 'net', 'text', 'utils', 'video']
RS_PREFIXED = ['audiofx', 'closedcaption',
'dav1d', 'file', 'json', 'onvif', 'regex', 'webp']
OVERRIDE = {'wrap': 'rstextwrap', 'flavors': 'rsflv',
- 'ahead': 'textahead', 'tracers': 'rstracers'}
+ 'ahead': 'textahead', 'tracers': 'rstracers',
+ 'webrtc-http': 'webrtchttp'}
def iterate_plugins():