Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 04:30:10 +01:00
Code Issues Projects Releases Packages Wiki Activity

Extract media_stack pick into CommandBase

Browse source
This commit is contained in:
Tuncer Ayaz 2019-11-20 13:24:21 +00:00
parent 6d8f35c590
commit 81c439a899
4 changed files with 16 additions and 36 deletions
Download patch file Download diff file Expand all files Collapse all files

13
python/servo/devenv_commands.py
View file

@ -47,18 +47,7 @@ class MachCommands(CommandBase):
target, android = self.pick_target_triple(target, android, magicleap)
# A guess about which platforms should use the gstreamer media stack
if not(media_stack):
if (
not(target) or
("armv7" in target and "android" in target) or
("x86_64" in target)
):
media_stack = "gstreamer"
else:
media_stack = "dummy"
features += ["media-" + media_stack]
features += self.pick_media_stack(media_stack, target)
self.ensure_bootstrapped()
self.ensure_clobbered()