aboutsummaryrefslogtreecommitdiff
path: root/Dockerfile
diff options
context:
space:
mode:
Diffstat (limited to '')
-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 . .