From 5baad02c069103fc3e621a2e0bde9b456a85f08a Mon Sep 17 00:00:00 2001
From: Alexandre Flament <alex@al-f.net>
Date: Thu, 20 Jul 2017 20:51:39 +0200
Subject: [PATCH] "./manage.sh update_packages" updates pip and setuptools

Fix issue #887, #962
---
 manage.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/manage.sh b/manage.sh
index 732c099a3..319a14f2a 100755
--- a/manage.sh
+++ b/manage.sh
@@ -8,6 +8,8 @@ ACTION=$1
 cd "$BASE_DIR"
 
 update_packages() {
+    pip install --upgrade pip
+    pip install --upgrade setuptools
     pip install -r "$BASE_DIR/requirements.txt"
 }