From 8fcba51b3e80fc461adc83367ea53efb55463995 Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Tue, 30 May 2017 08:55:31 +0200 Subject: [PATCH] github-bridge: fix Dockerfile Signed-off-by: Thomas Gazagnaire --- Dockerfile.github | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Dockerfile.github b/Dockerfile.github index 88d42d3d4..e52ebea4e 100644 --- a/Dockerfile.github +++ b/Dockerfile.github @@ -23,6 +23,7 @@ RUN opam config exec -- ocaml /tmp/check-libev.ml COPY datakit.opam /home/opam/src/datakit/datakit.opam COPY datakit-client.opam /home/opam/src/datakit/datakit-client.opam COPY datakit-client-9p.opam /home/opam/src/datakit/datakit-client-9p.opam +COPY datakit-client-git.opam /home/opam/src/datakit/datakit-client-git.opam COPY datakit-server.opam /home/opam/src/datakit/datakit-server.opam COPY datakit-server-9p.opam /home/opam/src/datakit/datakit-server-9p.opam COPY datakit-github.opam /home/opam/src/datakit/datakit-github.opam @@ -30,6 +31,7 @@ COPY datakit-bridge-github.opam /home/opam/src/datakit/datakit-bridge-github.opa RUN opam pin add datakit.dev /home/opam/src/datakit -yn && \ opam pin add datakit-server.dev /home/opam/src/datakit -yn && \ opam pin add datakit-server-9p.dev /home/opam/src/datakit -yn && \ + opam pin add datakit-server-git.dev /home/opam/src/datakit -yn && \ opam pin add datakit-client.dev /home/opam/src/datakit -yn && \ opam pin add datakit-client-9p.dev /home/opam/src/datakit -yn && \ opam pin add datakit-github.dev /home/opam/src/datakit -yn && \