| Index: win_toolchain/get_toolchain_if_necessary.py
|
| diff --git a/win_toolchain/get_toolchain_if_necessary.py b/win_toolchain/get_toolchain_if_necessary.py
|
| index c38785d1732e1eef7c8ff65f4095b545730effe2..b5ffd4df55aabe29b07ea899138f89d55787156a 100755
|
| --- a/win_toolchain/get_toolchain_if_necessary.py
|
| +++ b/win_toolchain/get_toolchain_if_necessary.py
|
| @@ -203,13 +203,14 @@ def DoTreeMirror(target_dir, tree_sha1):
|
| """In order to save temporary space on bots that do not have enough space to
|
| download ISOs, unpack them, and copy to the target location, the whole tree
|
| is uploaded as a zip to internal storage, and then mirrored here."""
|
| - temp_dir, local_zip = DownloadUsingGsutil(tree_sha1 + '.zip')
|
| + #temp_dir, local_zip = DownloadUsingGsutil(tree_sha1 + '.zip')
|
| + local_zip = tree_sha1 + '.zip'
|
| sys.stdout.write('Extracting %s...\n' % local_zip)
|
| sys.stdout.flush()
|
| with zipfile.ZipFile(local_zip, 'r', zipfile.ZIP_DEFLATED, True) as zf:
|
| zf.extractall(target_dir)
|
| - if temp_dir:
|
| - RmDir(temp_dir)
|
| + #if temp_dir:
|
| + #RmDir(temp_dir)
|
|
|
|
|
| def main():
|
|
|