diff options
Diffstat (limited to 'python/servo/build_commands.py')
| -rw-r--r-- | python/servo/build_commands.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index 5dc21d53e7d..a241763542c 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -425,7 +425,9 @@ 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 = "https://github.com/servo/libgstreamer_android_gen/blob/" \ + "ebb0f0097fec985e0cef988c54a28c2ba06761aa/out/%s?raw=true" % gst_lib_zip + print(gst_url) urllib.urlretrieve(gst_url, gst_lib_zip) zip_ref = zipfile.ZipFile(gst_lib_zip, "r") zip_ref.extractall(gst_dir) |