Dont mute curl on the unix ci server

This commit is contained in:
Kovid Goyal 2017-07-02 10:17:46 +05:30
parent b10142db22
commit 9f4bf26b9d
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -70,7 +70,7 @@ def download_and_decompress(url, dest, compression=None):
for i in range(5):
print('Downloading', url, '...')
with NamedTemporaryFile() as f:
ret = subprocess.Popen(['curl', '-fSsL', url], stdout=f).wait()
ret = subprocess.Popen(['curl', '-fSL', url], stdout=f).wait()
if ret == 0:
decompress(f.name, dest, compression)
return