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

Consistent servo-deps download URLs

Browse source
This commit is contained in:
Jan Andre Ikenmeyer 2018-11-06 12:20:10 +01:00
parent e217672c1a
commit 357f23fae1
No known key found for this signature in database
GPG key ID: 28F9E42748DD95AE
5 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/build_commands.py
View file

@ -437,7 +437,7 @@ class MachCommands(CommandBase):
# Follow these instructions to build and deploy new binaries
# https://github.com/servo/libgstreamer_android_gen#build
print("Downloading GStreamer dependencies")
gst_url = "http://servo-deps.s3.amazonaws.com/gstreamer/%s" % gst_lib_zip
gst_url = "https://servo-deps.s3.amazonaws.com/gstreamer/%s" % gst_lib_zip
print(gst_url)
urllib.urlretrieve(gst_url, gst_lib_zip)
zip_ref = zipfile.ZipFile(gst_lib_zip, "r")