Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-26 16:50:23 +01:00
Code Issues Projects Releases Packages Wiki Activity

Use rustup.rs instead of custom bootstrap

Browse source 
Fixes #11361, closes #18874
This commit is contained in:
Simon Sapin 2017-11-27 18:02:53 +01:00
parent 6dff251e35
commit 365a139716
11 changed files with 125 additions and 362 deletions
Download patch file Download diff file Expand all files Collapse all files

7
python/servo/util.py
View file

@ -16,7 +16,6 @@ import shutil
from socket import error as socket_error
import StringIO
import sys
import tarfile
import zipfile
import urllib2
import certifi
@ -148,10 +147,8 @@ def download_file(desc, src, dst):
def extract(src, dst, movedir=None):
if src.endswith(".zip"):
zipfile.ZipFile(src).extractall(dst)
else:
tarfile.open(src).extractall(dst)
assert src.endswith(".zip")
zipfile.ZipFile(src).extractall(dst)
if movedir:
for f in os.listdir(movedir):