diff --git a/bob/devtools/build.py b/bob/devtools/build.py index 1ad84e52868c1259681b57adf68d3a5163a7a412..81a17b07a6f4b6a65b2d7f072c85eb0613a82e3b 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")