build: speed up windows download of external binaries (#17559)
This commit is contained in:
parent
75b4db60cf
commit
ec5e0ef06e
1 changed files with 1 additions and 1 deletions
|
@ -68,7 +68,7 @@ def download(text, url, path):
|
||||||
web_file = urllib2.urlopen(url)
|
web_file = urllib2.urlopen(url)
|
||||||
file_size = int(web_file.info().getheaders("Content-Length")[0])
|
file_size = int(web_file.info().getheaders("Content-Length")[0])
|
||||||
downloaded_size = 0
|
downloaded_size = 0
|
||||||
block_size = 128
|
block_size = 4096
|
||||||
|
|
||||||
ci = os.environ.get('CI') is not None
|
ci = os.environ.get('CI') is not None
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue