mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-29 05:01:23 +00:00
Notify that gst-rts-server has plugin
Part-of: <https://gitlab.freedesktop.org/gstreamer/gst-build/-/merge_requests/151>
This commit is contained in:
parent
2f514b8098
commit
a7b7ca5a59
1 changed files with 1 additions and 1 deletions
|
@ -62,7 +62,7 @@ subprojects = [
|
||||||
['gst-plugins-bad', { 'option': get_option('bad'), 'build-hotdoc': true, 'has-plugins': true}],
|
['gst-plugins-bad', { 'option': get_option('bad'), 'build-hotdoc': true, 'has-plugins': true}],
|
||||||
['gst-plugins-ugly', { 'option': get_option('ugly'), 'build-hotdoc': true, 'has-plugins': true}],
|
['gst-plugins-ugly', { 'option': get_option('ugly'), 'build-hotdoc': true, 'has-plugins': true}],
|
||||||
['gst-libav', { 'option': get_option('libav'), 'build-hotdoc': true, 'has-plugins': true}],
|
['gst-libav', { 'option': get_option('libav'), 'build-hotdoc': true, 'has-plugins': true}],
|
||||||
['gst-rtsp-server', { 'option': get_option('rtsp_server'), 'build-hotdoc': true }],
|
['gst-rtsp-server', { 'option': get_option('rtsp_server'), 'build-hotdoc': true , 'has-plugins': true}],
|
||||||
['gst-devtools', { 'option': get_option('devtools'), 'build-hotdoc': true }],
|
['gst-devtools', { 'option': get_option('devtools'), 'build-hotdoc': true }],
|
||||||
['gst-integration-testsuites', { 'option': get_option('devtools') }],
|
['gst-integration-testsuites', { 'option': get_option('devtools') }],
|
||||||
['gst-editing-services', { 'option': get_option('ges'), 'build-hotdoc': true, 'has-plugins': true}],
|
['gst-editing-services', { 'option': get_option('ges'), 'build-hotdoc': true, 'has-plugins': true}],
|
||||||
|
|
Loading…
Reference in a new issue