Do not store archive is the base dep archive.

Now that we use a skip file to skip download, we don't need to store
all the archives but just the skip file.
This commit is contained in:
Matthieu Gautier 2018-03-20 17:57:39 +01:00
parent 5cc30cf4f2
commit 8d13ad5de7
1 changed files with 1 additions and 1 deletions

View File

@ -111,7 +111,7 @@ def make_deps_archive(target, full=False):
relative_path = BASE_DIR relative_path = BASE_DIR
if full: if full:
files_to_archive += [ARCHIVE_DIR] files_to_archive += ARCHIVE_DIR.glob(".*_ok")
files_to_archive += BASE_DIR.glob('*/.*_ok') files_to_archive += BASE_DIR.glob('*/.*_ok')
files_to_archive += SOURCE_DIR.glob('*/.*_ok') files_to_archive += SOURCE_DIR.glob('*/.*_ok')
files_to_archive += [SOURCE_DIR/'pugixml-{}'.format( files_to_archive += [SOURCE_DIR/'pugixml-{}'.format(