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:
authorThibault Saunier <tsaunier@igalia.com>2022-10-20 20:10:43 +0300
committerThibault Saunier <tsaunier@igalia.com>2022-10-20 21:20:15 +0300
commit5c89c3db69f0160b71cb1e17eaf2f8b32bffa5fe (patch)
tree61141a0575ccbc22d380803434b16d006a4f3942 /ci
parent60223d127ec4daef3dc7507308d6e85c5720be9a (diff)
webrtc: Rename and add to meson build the signalling server
The binary was only called `server` it has been renamed to `gst-webrtc-signalling-server` and is installed in meson.
Diffstat (limited to 'ci')
-rwxr-xr-xci/check-installed.py (renamed from ci/check-plugins-installed.py)4
1 files changed, 4 insertions, 0 deletions
diff --git a/ci/check-plugins-installed.py b/ci/check-installed.py
index a334f1385..992ba6504 100755
--- a/ci/check-plugins-installed.py
+++ b/ci/check-installed.py
@@ -23,5 +23,9 @@ for name in iterate_plugins():
print(name, "missing in", prefix)
success = False
+if len(glob.glob(os.path.join(prefix, '**', 'bin', 'gst-webrtc-signalling-server'), recursive=True)) != 1:
+ print("gst-webrtc-signalling-serverm is missing in", prefix)
+ success = False
+
if not success:
sys.exit(1)