From 97842074ca8e30f08048df6792559a2d7bc9472b Mon Sep 17 00:00:00 2001
From: Craig Harman <craig@harmonicnewmedia.com>
Date: Mon, 14 May 2018 09:27:47 +0800
Subject: [PATCH] Added fix for pip issue
 https://github.com/pypa/pip/issues/5221#issuecomment-382069604

---
 workspace/Dockerfile-71 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/workspace/Dockerfile-71 b/workspace/Dockerfile-71
index ac47e4e613..1a6ece3036 100644
--- a/workspace/Dockerfile-71
+++ b/workspace/Dockerfile-71
@@ -596,7 +596,8 @@ RUN if [ ${INSTALL_PYTHON} = true ]; then \
   apt-get update \
   && apt-get -y install python python-pip python-dev build-essential  \
   && pip install --upgrade pip  \
-  && pip install --upgrade virtualenv \
+  && hash -r pip \
+  # && pip install --upgrade virtualenv \
 ;fi
 
 #####################################