diff options
| author | Jakub Warmuz <jakub@warmuz.org> | 2015-10-17 13:57:02 +0300 |
|---|---|---|
| committer | Jakub Warmuz <jakub@warmuz.org> | 2015-10-17 13:57:02 +0300 |
| commit | 0cf2b5a4bd5f0b469522baa946e6be3346b1d29e (patch) | |
| tree | 87208b3779b4b74a27530f103174439dfd95084f /tools | |
| parent | 31109b3332ed6314b2ea0e17956837c1d32421a8 (diff) | |
dev release: start with fresh virtualenv
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/dev-release.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/dev-release.sh b/tools/dev-release.sh index 682594f81..3d6f97202 100755 --- a/tools/dev-release.sh +++ b/tools/dev-release.sh @@ -22,6 +22,15 @@ tag="v$version" mv "dist.$version" "dist.$version.$(date +%s).bak" || true git tag --delete "$tag" || true +tmpvenv=$(mktemp -d) +virtualenv --no-site-packages $tmpvenv +. $tmpvenv/bin/activate +pip install -U setuptools +pip install -U pip +pip install -U wheel +# updating virtualenv does some crazy stuff... +pip install -U virtualenv + root="$(mktemp -d -t le.$version.XXX)" echo "Cloning into fresh copy at $root" # clean repo = no artificats git clone . $root |