mirrors/mongodb
mirrors/mongodb
0
0
Fork 0
mirror of https://github.com/mongodb/mongo.git synced 2024-12-01 09:32:32 +01:00
Code Issues Releases Activity

SERVER-42319 Improve performance of Archive Builder

Browse Source
This commit is contained in:
Mathew Robinson 2019-08-12 17:42:41 -04:00
parent 0f0fe5b751
commit b73a7d6ab9
No known key found for this signature in database
GPG Key ID: D0C956FD2B0665E1
1 changed files with 15 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
site_scons/site_tools/auto_install_binaries.py
View File

@ -44,6 +44,7 @@ SUFFIX_MAP = "AIB_SUFFIX_MAP"
AIB_MAKE_ARCHIVE_CONTENT = """
import os
import sys
from shutil import which
USAGE = '''
Usage: {} ARCHIVE_TYPE ARCHIVE_NAME ROOT_DIRECTORY FILES...
@ -69,7 +70,18 @@ if __name__ == "__main__":
print(USAGE.format(sys.argv[0]))
sys.exit(1)
os.chdir(root_dir)
if archive_type == "tar" and which("tar") is not None:
import subprocess
import shlex
tar = which("tar")
tar_cmd = "{tar} -C {root_dir} -cf {archive_name} {files}".format(
tar=tar,
root_dir=root_dir,
archive_name=archive_name,
files=" ".join(files),
)
subprocess.run(shlex.split(tar_cmd))
sys.exit(0)
if archive_type == "zip":
from zipfile import ZipFile
@ -80,6 +92,8 @@ if __name__ == "__main__":
archive = tarfile.open(archive_name, mode='w:gz')
add_file = archive.add
os.chdir(root_dir)
for filename in files:
add_file(filename)