diff --git a/centos/Dockerfile b/centos/Dockerfile index 189f73a184d208a3dd2ff55502c07cdb3dcf28cb..47bd3547d8631b2a4edc789573da2a4fd140b5ba 100644 --- a/centos/Dockerfile +++ b/centos/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 install -y patch && \ yum clean all diff --git a/centos/bash/toolchain.sh b/centos/bash/toolchain.sh index cdcc45887f7ae10cc0ef056321f336b5d05257f1..66f98f663904e49b84993481fd1c3487fe7a93c4 100644 --- a/centos/bash/toolchain.sh +++ b/centos/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