From 77fc6704ef9c9b59993fd923fde36ce319ae6ba7 Mon Sep 17 00:00:00 2001 From: Matthieu Gautier Date: Wed, 6 Feb 2019 16:04:35 +0100 Subject: [PATCH] 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) --- travis/compile_all.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/travis/compile_all.py b/travis/compile_all.py index bf45e2b..51d71b4 100755 --- a/travis/compile_all.py +++ b/travis/compile_all.py @@ -218,7 +218,10 @@ def make_deps_archive(target, full=False): base_deps_versions['pugixml'])] files_to_archive += HOME.glob('BUILD_*/pugixml-{}'.format( 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: for name in set(files_to_archive):