diff --git a/centos-7/Dockerfile b/centos-7/Dockerfile index 6c3433dd122b5d6883a8a0111eb9d89f3d78f6b1..c1cd13bca3a444bc2191bc98cc8a9190c5fbfc70 100644 --- a/centos-7/Dockerfile +++ b/centos-7/Dockerfile @@ -8,7 +8,7 @@ LABEL authors="Moritz Maxeiner <moritz.maxeiner@fu-berlin.de>" ENV BASH_ENV "/etc/profile" RUN yum install -y centos-release-scl && \ yum install -y epel-release && \ - yum install -y devtoolset-8 && \ + yum install -y devtoolset-9 && \ yum install -y rh-git218-git && \ yum clean all ADD bash/toolchain.sh /etc/profile.d/toolchain.sh diff --git a/centos-7/bash/toolchain.sh b/centos-7/bash/toolchain.sh index 2e7ccc2156f84c9ee29e8179e7cb40f81ef8e056..63e1a96ed7328f5140775046ea353f84aeb3e843 100644 --- a/centos-7/bash/toolchain.sh +++ b/centos-7/bash/toolchain.sh @@ -1,5 +1,5 @@ -# GCC 8 -source scl_source enable devtoolset-8 +# GCC 9 +source scl_source enable devtoolset-9 # Git 2.18 source scl_source enable rh-git218