# HG changeset patch
# User Pierre-Yves David <pierre-yves.david@octobus.net>
# Date 1553909015 -3600
#      Sat Mar 30 02:23:35 2019 +0100
# Node ID 5a69a2c5911191a9c9c9dcac4c03f5cbac0bd18e
# Parent  9a21f3004bf5b39d4e804a64980a58bff6929bd9
now that the venv has a unique name we better cleanup afterward

diff --git a/repo-scripts/make-all b/repo-scripts/make-all
--- a/repo-scripts/make-all
+++ b/repo-scripts/make-all
@@ -21,6 +21,12 @@
 
 venv_path=/tmp/build-reference-${repo_id}-$RANDOM-venv
 rm -rf $venv_path
+
+function finish {
+  rm -rf $venv_path
+}
+trap finish EXIT
+
 virtualenv -q $venv_path
 
 PYTHONWARNINGS="ignore:DEPRECATION" ${venv_path}/bin/pip --disable-pip-version-check --quiet install "mercurial==${hg_version}"
@@ -33,4 +39,3 @@
 
 "${root}"/make-reference "${repo_source}" "${repo_id}" "${partial_sets_file}" "$@"
 "${root}"/make-partial-repos "${repo_id}"-*.benchrepo
-