Implement ./mach check --media-stack

While at it, extract --media-stack flag into command_base.py.
2025-07-18 21:03:45 +01:00 · 2019-11-19 15:10:47 +00:00 · 2019-11-19 15:10:47 +00:00 · d641585679
commit d641585679
parent ba3169e65d
4 changed files with 26 additions and 10 deletions
--- a/python/servo/command_base.py
+++ b/python/servo/command_base.py
@ -792,6 +792,12 @@ install them, let us know by filing a bug!")
                default=None,
                help='Cross compile for given target platform',
            ),
+            CommandArgument(
+                '--media-stack',
+                default=None,
+                choices=["gstreamer", "dummy"],
+                help='Which media stack to use',
+            ),
            CommandArgument(
                '--android',
                default=None,