From 94c56d16b372b92db05f56d62cb257f50667c6e7 Mon Sep 17 00:00:00 2001 From: Daniel Lemos Date: Sun, 13 Dec 2020 07:00:00 -0300 Subject: [PATCH] Toolchain: Bump Ubuntu version to 20.10 in the Dockerfile (#4401) --- Toolchain/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Toolchain/Dockerfile b/Toolchain/Dockerfile index d5bb1296a6..7f661f0873 100644 --- a/Toolchain/Dockerfile +++ b/Toolchain/Dockerfile @@ -1,8 +1,8 @@ -FROM ubuntu:20.04 +FROM ubuntu:20.10 RUN DEBIAN_FRONTEND="noninteractive" apt-get update -y && apt-get install -y tzdata -RUN apt-get install -y build-essential cmake curl libmpfr-dev libmpc-dev libgmp-dev e2fsprogs qemu-utils wget genext2fs sudo +RUN apt-get install -y build-essential cmake curl libmpfr-dev libmpc-dev libgmp-dev e2fsprogs qemu-utils wget genext2fs sudo ninja-build RUN mkdir /serenity