github: tweak Docker.github to empty the Docker cache

Signed-off-by: Thomas Gazagnaire <[email protected]>
moby · Dec 12, 2016 · 36d91de · 36d91de
1 parent cce5c6c
commit 36d91de
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Dockerfile.github b/Dockerfile.github
@@ -1,7 +1,8 @@
 FROM docker/datakit:server
 
 # TMP
-RUN cd /home/opam/opam-repository && git pull && opam update -y
+RUN cd /home/opam/opam-repository && git pull && \
+    opam update -y
 
 COPY datakit-github.opam /home/opam/src/datakit/datakit-github.opam
 RUN opam pin add github --dev -n