From d298a55c303eb5028609412446c8c4836a932f3c Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Tue, 14 Apr 2020 10:24:40 +0200
Subject: [PATCH] Add -y option to apt-get upgrade

---
 ghdl-formal.Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghdl-formal.Dockerfile b/ghdl-formal.Dockerfile
index 8f61526..cf49d0f 100644
--- a/ghdl-formal.Dockerfile
+++ b/ghdl-formal.Dockerfile
@@ -49,7 +49,7 @@ RUN apt-get update -qq && \
     zlib1g-dev \
     make \
     python3 && \
-    apt-get upgrade && apt-get autoclean && apt-get clean && apt-get -y autoremove && \
+    apt-get -y upgrade && apt-get autoclean && apt-get clean && apt-get -y autoremove && \
     update-ca-certificates && \
     rm -rf /var/lib/apt/lists/*