jenkins: Use more modern command line to install dev tools on Fedora

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/Jenkinsfile b/Jenkinsfile
index 9c7b0db46ca7e328cd81d18b67c405520088136b..7c0641cc39925bb773f89cfc7f1a9995f50ee9a6 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -526,11 +526,7 @@ pipeline {
 // Installs everything we need on RHEL/Fedora/etc.
 def installBuildDepsRedHat(distro, compier) {
        // Install basic development tools
-       if (distro == "fedora:rawhide") {
-               sh "dnf group install -y development-tools"
-       } else {
-               sh "dnf group install -y 'Development Tools'"
-       }
+       sh "dnf group install -y development-tools"
 
        // Enable CodeReady Builder for Almalinux 9
        if (distro.contains("almalinux:9")) {