From 29e22c6ede0bd5a08ec37ba7cf043d05b9d0b60e Mon Sep 17 00:00:00 2001
From: Joseph Hunkeler <jhunkeler@gmail.com>
Date: Sat, 9 Sep 2017 22:12:28 -0400
Subject: Remove unnecessary WORKDIR call

---
 Dockerfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 45ce891..9ee58b3 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -58,7 +58,6 @@ RUN ssh-keygen -f /etc/ssh/ssh_host_rsa_key -N '' -t rsa \
     && echo "jenkins:jenkins" | chpasswd
 
 # Install Miniconda
-WORKDIR ${OPT}
 RUN curl -q -O ${MC_URL}/${MC_INSTALLER} \
     && bash ${MC_INSTALLER} -b -p ${MC_PATH} \
     && rm -rf ${MC_INSTALLER} \
-- 
cgit