From 05e0e3cf9110a85def287669fa302f0b572f4016 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Fri, 10 Apr 2015 18:39:36 +0100
Subject: Don't upgrade pip or setuptools. Upgrading pip breaks the build
 because /usr/local/bin/ isn't in PATH so using pip after upgrading it fails.

---
 Dockerfile | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Dockerfile')

diff --git a/Dockerfile b/Dockerfile
index 393d1656..f97ffabd 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -38,8 +38,6 @@ RUN apt-get update && \
         wget \
         unzip \
         binutils && \
-    pip install -U setuptools && \
-    pip install -U pip && \
     pip install -U lit tabulate
 
 # Create ``klee`` user for container with password ``klee``.
-- 
cgit 1.4.1