diff options
| author | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2019-11-20 13:24:21 +0000 |
|---|---|---|
| committer | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2019-11-21 20:08:04 +0000 |
| commit | 81c439a8990caf498bd3318cbe5f51c33830f7e3 (patch) | |
| tree | 48bf4f0ec98653aaeb1306668f641948a78baccd /python/servo/build_commands.py | |
| parent | 6d8f35c590532bf8b7892833692500878a905b3e (diff) | |
| download | servo-81c439a8990caf498bd3318cbe5f51c33830f7e3.tar.gz servo-81c439a8990caf498bd3318cbe5f51c33830f7e3.zip | |
Extract media_stack pick into CommandBase
Diffstat (limited to 'python/servo/build_commands.py')
| -rw-r--r-- | python/servo/build_commands.py | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index effcd8676c5..8f462939b5b 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -191,18 +191,7 @@ class MachCommands(CommandBase): if not uwp: uwp = target and 'uwp' in target - # 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) target_path = base_path = self.get_target_dir() if android: |