diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-17 16:19:32 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-17 16:19:32 -0500 |
| commit | 51a5f347ea4826c61349c5f0890d7f984c166eac (patch) | |
| tree | 1702821ca732103b75d8bd53ba5a83bcdbb4e180 /Dockerfile | |
| parent | b6ecaa98c8a07c42f55bb498ebdb8c82873c3b62 (diff) | |
| download | stitch-3269ad1af261e17c030bb7aaa4f497e359e7cef2.tar.gz stitch-3269ad1af261e17c030bb7aaa4f497e359e7cef2.tar.bz2 stitch-3269ad1af261e17c030bb7aaa4f497e359e7cef2.zip | |
Diffstat (limited to 'Dockerfile')
| -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 |