Skip to content

Instantly share code, notes, and snippets.

@ferjm
Created October 2, 2018 08:10
Show Gist options
  • Save ferjm/46c7ea4ceccad4dadd8a2a8d79556825 to your computer and use it in GitHub Desktop.
Save ferjm/46c7ea4ceccad4dadd8a2a8d79556825 to your computer and use it in GitHub Desktop.
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py
index da74a201aa..03f8a05b16 100644
--- a/python/servo/build_commands.py
+++ b/python/servo/build_commands.py
@@ -420,7 +420,7 @@ class MachCommands(CommandBase):
if not os.path.exists(gst_lib_path):
# Download GStreamer dependencies if they have not already been downloaded
print("Downloading GStreamer dependencies")
- gst_url = "https://github.com/servo/libgstreamer_android_gen/blob/master/out/%s?raw=true" % gst_lib_zip
+ gst_url = "http://servo-deps.s3.amazonaws.com/gstreamer/%s" % gst_lib_zip
urllib.urlretrieve(gst_url, gst_lib_zip)
zip_ref = zipfile.ZipFile(gst_lib_zip, "r")
zip_ref.extractall(gst_dir)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment