diff options
Diffstat (limited to 'docker/Dockerfile')
| -rw-r--r-- | docker/Dockerfile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 7cf7e42d..5a4c074d 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -334,6 +334,5 @@ RUN echo "$(opam env --root=/opt/opam --set-root)" >> /etc/skel/.bashrc # Cleanup RUN rm -rf /tmp/* -COPY pkg-build.sh /usr/local/bin/pkg-build.sh COPY entrypoint.sh /usr/local/bin/entrypoint.sh ENTRYPOINT ["/usr/local/bin/entrypoint.sh"] |