From 40bcbcf126597f510f5b3ceae9ade04d18c79351 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Wed, 2 Oct 2019 17:23:05 +0200
Subject: [PATCH] [build] Do not spare downloaded packages from getting cleaned
---
bob/devtools/build.py | 4 ----
1 file changed, 4 deletions(-)
diff --git a/bob/devtools/build.py b/bob/devtools/build.py
index 1ad84e52..81a17b07 100644
--- a/bob/devtools/build.py
+++ b/bob/devtools/build.py
@@ -491,13 +491,9 @@ def git_clean_build(runner, verbose):
# glob wild card entries we'd like to keep
exclude_from_cleanup = [
"miniconda.sh", # the installer, cached
- "miniconda/pkgs/urls.txt", # download index, cached
"sphinx", # build artifact -- documentation
]
- # cache
- exclude_from_cleanup += ["miniconda/pkgs/"]
-
# artifacts
exclude_from_cleanup += ["miniconda/conda-bld/"]
exclude_from_cleanup += glob.glob("dist/*.zip")
--
GitLab