From 4cf2fc613c2b4cbf8b64da21fda2020e4ad3b294 Mon Sep 17 00:00:00 2001 From: H-Lo Date: Sun, 27 Oct 2019 16:06:05 -0700 Subject: [PATCH] Removed Makefile from container, not needed after build --- Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Dockerfile b/Dockerfile index 8d4ebb2d..db3ca686 100644 --- a/Dockerfile +++ b/Dockerfile @@ -14,6 +14,7 @@ COPY . src RUN cp src/Makefile . RUN make .clone RUN make src .homercs +RUN rm Makefile # ENTRYPOINT ["/bin/zsh", "-"] # CMD ["/bin/zsh","-l","-o","verbose","-o","xtrace","-o","sourcetrace"] CMD ["/bin/zsh","-l"]