aboutsummaryrefslogtreecommitdiff
path: root/Dockerfile
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-04 08:19:29 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-04 08:19:29 -0600
commitce792e552d27e3c83251f11434795095dea7a93f (patch)
tree4a8539d59cd072c9f7e0dca0d4fc4811832f19a5 /Dockerfile
parentcf89e5ae5aade4a1bac676215289c9ee6db71b75 (diff)
downloadwormhole-ce792e552d27e3c83251f11434795095dea7a93f.tar.gz
wormhole-ce792e552d27e3c83251f11434795095dea7a93f.tar.bz2
wormhole-ce792e552d27e3c83251f11434795095dea7a93f.zip
Try again
Diffstat (limited to 'Dockerfile')
-rw-r--r--Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile
index 93d745d..f158b0c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,7 +6,7 @@ WORKDIR /home/opam
# Install dependencies
ADD wormhole.opam wormhole.opam
-RUN opam install . --deps-only
+RUN opam install . --deps-only --verbose
# Build project
ADD . .