Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-29 03:23:41 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #22806 - ferjm:webrtc.gst.plugins, r=jdm

Browse source 
Update gstreamer binaries for Android with webrtc related plugins

- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors

I updated the binaries for Android with the required plugins for WebRTC as suggested [here](https://github.com/servo/servo/pull/22780#discussion_r252767768)

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22806)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2019-02-05 10:15:28 -05:00 • committed by GitHub
commit 581df9da2c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/build_commands.py
View file

@ -447,7 +447,7 @@ class MachCommands(CommandBase):
# Build the name of the package containing all GStreamer dependencies
# according to the build target.
gst_lib = "gst-build-{}".format(self.config["android"]["lib"])
gst_lib_zip = "gstreamer-{}-1.14.3-20190131-153818.zip".format(self.config["android"]["lib"])
gst_lib_zip = "gstreamer-{}-1.14.3-20190201-081639.zip".format(self.config["android"]["lib"])
gst_dir = os.path.join(target_path, "gstreamer")
gst_lib_path = os.path.join(gst_dir, gst_lib)
pkg_config_path = os.path.join(gst_lib_path, "pkgconfig")