Update opam layout in Dockerfile

goblint · Jan 17, 2023 · f68b0fb · f68b0fb
1 parent 0f25533
commit f68b0fb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -14,7 +14,7 @@ RUN sudo apt-get update \
 # update local opam repository because base image may be outdated
 RUN cd /home/opam/opam-repository \
     && git pull origin master \
-    && opam update
+    && opam update -y
 RUN make setup
 # copy the rest
 COPY --chown=opam . /home/opam/analyzer