comparison third_party/emsdk/scripts/zip.py @ 186:8cf4ec5e2191 hg-web

Fixed merge conflict.
author MrJuneJune <me@mrjunejune.com>
date Fri, 23 Jan 2026 22:38:59 -0800
parents 8d17f6e6e290
children
comparison
equal deleted inserted replaced
176:fed99fc04e12 186:8cf4ec5e2191
1 import os
2
3
4 def unzip_cmd():
5 # Use 7-Zip if available (https://www.7-zip.org/)
6 sevenzip = os.path.join(os.getenv('ProgramFiles', ''), '7-Zip', '7z.exe')
7 if os.path.isfile(sevenzip):
8 return [sevenzip, 'x']
9 # Fall back to 'unzip' tool
10 return ['unzip', '-q']
11
12
13 def zip_cmd():
14 # Use 7-Zip if available (https://www.7-zip.org/)
15 sevenzip = os.path.join(os.getenv('ProgramFiles', ''), '7-Zip', '7z.exe')
16 if os.path.isfile(sevenzip):
17 return [sevenzip, 'a', '-mx9']
18 # Fall back to 'zip' tool
19 return ['zip', '-rq']