fix(ci): no more devtoolset on caracal

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2023-01-24 14:49:28 +01:00
parent 0afa3f3193
commit c8b9cf6c63
2 changed files with 2 additions and 1 deletions
@@ -122,6 +122,7 @@ check_supported_distribution() {
        "rhel8.6")     return 0 ;;
        "rhel8.7")     return 0 ;;
        "rhel9.0")     return 0 ;;
+        "rhel9.1")     return 0 ;;
        "centos7")     return 0 ;;
        "centos8")     return 0 ;;
    esac