Commit 6d6a498c authored by Stephan Lachnit's avatar Stephan Lachnit
Browse files

Merge branch 'p-add-centos9' into 'master' 

add CentOS 9 to init script

See merge request allpix-squared/allpix-squared!839
parents 6bb65b25 131c51a1

.ci/init_x86_64.sh

+3 −0
Original line number Diff line number Diff line
@@ -11,6 +11,9 @@ if [ "$(uname)" = "Linux" ]; 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

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

        echo "Detected CentOS Linux 9"

        OS=centos9

    else

        echo "Cannot detect OS, falling back to CentOS7"

        OS=centos7