diff options
Diffstat (limited to '')
-rw-r--r-- | Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -22,4 +22,4 @@ RUN git config --global --add safe.directory /tmp/build RUN opam install . --update-invariant --yes COPY . . -CMD eval `opam env` && dune build --profile release +CMD eval `opam env` && dune build --profile release-static |