diff options
| author | Simon Sapin <simon.sapin@exyr.org> | 2018-10-03 16:38:54 +0200 |
|---|---|---|
| committer | Simon Sapin <simon.sapin@exyr.org> | 2018-10-03 16:38:54 +0200 |
| commit | d2ee7663f3172646df0f56d3ede138c7d3c8b268 (patch) | |
| tree | 87df82569a9201b47af6717c6c4dbb4d0b0d8d76 /python/servo/build_commands.py | |
| parent | 8b43719baa28d5e7984844258d9683d48f5091bd (diff) | |
| download | servo-d2ee7663f3172646df0f56d3ede138c7d3c8b268.tar.gz servo-d2ee7663f3172646df0f56d3ede138c7d3c8b268.zip | |
Work around removal of remote files used by the build system
https://github.com/servo/libgstreamer_android_gen/commit/f5a832741569c96b57dc2b964df9ae37016454c2
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) |