From d5164437f73da1fc0b9ff5b8008e50fdc0c5793a Mon Sep 17 00:00:00 2001
From: Michael Thies <m.thies@plt.rwth-aachen.de>
Date: Tue, 22 Oct 2019 12:45:42 +0200
Subject: [PATCH] Use Ubuntu 19.04 with newer CMake version as basis

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

diff --git a/Dockerfile b/Dockerfile
index 274aed0..8171e68 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,3 +1,3 @@
-FROM ubuntu:18.04
+FROM ubuntu:19.04
 
 RUN ln -fs /usr/share/zoneinfo/Europe/Berlin /etc/localtime && apt-get update -qq && apt-get install -y -qq build-essential bison flex tcl cmake gcc-arm-linux-gnueabihf gcc-mingw-w64-x86-64 binutils-mingw-w64-x86-64
-- 
GitLab