Update Dockerfile for packaging with apt-get upgrade --yes (#320)

runtimeverification · Oct 18, 2021 · 13dd503 · 13dd503
1 parent 71db06a
commit 13dd503
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package/docker/Dockerfile b/package/docker/Dockerfile
@@ -3,7 +3,7 @@ ARG DISTRO
 FROM runtimeverificationinc/kframework-k:ubuntu-${DISTRO}-${K_COMMIT}
 
 RUN    apt-get update        \
-    && apt-get upgrade       \
+    && apt-get upgrade --yes \
     && apt-get install --yes \
                 autoconf     \
                 libgmp-dev   \