From f050ce9d57f381e1c487f87b999107627176175a Mon Sep 17 00:00:00 2001
From: Jawad Qureshi <qureshi@uchicago.edu>
Date: Tue, 26 May 2020 14:19:15 -0500
Subject: [PATCH] fix docker build in jenkins

---
 docker-build-jenkins.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker-build-jenkins.sh b/docker-build-jenkins.sh
index ae3324dd6..8d02c4309 100644
--- a/docker-build-jenkins.sh
+++ b/docker-build-jenkins.sh
@@ -5,6 +5,7 @@ rm -rf build/src
 mkdir -p build/src
 
 pip install \
+    --user \
     --src build/src \
     --no-deps \
     $(grep '^-e.*egg=' requirements.txt)