Commit 48347f63 authored by Paul Schütze's avatar Paul Schütze
Browse files

Merge branch 'fix_cc8_detect' into 'master' 

CI: fix detection of CentOS 8 (Stream)

See merge request allpix-squared/allpix-squared!581
parents 04df45a7 36955fbb

.ci/init_x86_64.sh

+1 −1
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ if [ "$(uname)" = "Linux" ]; then 
    if [ "$( cat /etc/*-release | grep "CentOS Linux 7" )" ]; then

        echo "Detected CentOS Linux 7"

        OS=centos7

    elif [ "$( cat /etc/*-release | grep "CentOS Linux 8" )" ]; then

    elif [ "$( cat /etc/*-release | grep "CentOS Linux 8" )" ] || [ "$( cat /etc/*-release | grep "CentOS Stream release 8" )" ]; then

        echo "Detected CentOS Linux 8"

        OS=centos8

    else