diff options
Diffstat (limited to 'docker/Dockerfile')
| -rw-r--r-- | docker/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index a4e07d60..10c6c785 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -330,5 +330,6 @@ 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"] |