Do not save the `tools` directory of the toolchains.

This directory came from the source and is only used to install the
sdk. As the sdk is already installed, we don't need it (and we can save
400Mo)
This commit is contained in:
Matthieu Gautier 2019-02-06 16:04:35 +01:00
parent ffc9c1b640
commit 77fc6704ef
1 changed files with 4 additions and 1 deletions

View File

@ -218,7 +218,10 @@ def make_deps_archive(target, full=False):
base_deps_versions['pugixml'])] base_deps_versions['pugixml'])]
files_to_archive += HOME.glob('BUILD_*/pugixml-{}'.format( files_to_archive += HOME.glob('BUILD_*/pugixml-{}'.format(
base_deps_versions['pugixml'])) base_deps_versions['pugixml']))
files_to_archive += HOME.glob('**/TOOLCHAINS') toolchains_subdirs = HOME.glob('**/TOOLCHAINS/*/*')
for subdir in toolchains_subdirs:
if not subdir.match('tools'):
files_to_archive.append(subdir)
with tarfile.open(str(relative_path/archive_name), 'w:xz') as tar: with tarfile.open(str(relative_path/archive_name), 'w:xz') as tar:
for name in set(files_to_archive): for name in set(files_to_archive):