[build] Do not spare downloaded packages from getting cleaned

40bcbcf1 · André Anjos · 441c162a · 40bcbcf1
Commit 40bcbcf1 authored Oct 02, 2019 by André Anjos 💬
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 4 deletions

bob/devtools/build.py bob/devtools/build.py +0 -4

No files found.
--- 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")