From 5621cf325d2e3b8ee3141a5aa5ef2d47d7dafae5 Mon Sep 17 00:00:00 2001
From: Jakub Warmuz <jakub@warmuz.org>
Date: Sat, 17 Oct 2015 09:02:32 +0000
Subject: [PATCH] dev-release.sh: Update setuptools/pip

---
 tools/dev-release.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/tools/dev-release.sh b/tools/dev-release.sh
index cebe5001c..6a981b4c6 100755
--- a/tools/dev-release.sh
+++ b/tools/dev-release.sh
@@ -74,9 +74,10 @@ python -m SimpleHTTPServer $PORT &
 # installed from local PyPI rather than current directory (repo root)
 virtualenv --no-site-packages ../venv
 . ../venv/bin/activate
-# Now, use our local PyPI. --pre allows installation of pre-release (incl. dev)
+pip install -U setuptools
+pip install -U pip
+# Now, use our local PyPI
 pip install \
-  --pre \
   --extra-index-url http://localhost:$PORT \
   letsencrypt $SUBPKGS
 # stop local PyPI