jenkins: Ensure we have gawk available on Fedora

Fedora 42 does not seem to install this by default any more, but our
configure script wants to use it.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 82e99c72fcb0fe885f86488bd0f1530bf813ddf4..fb7fa200a5bb137359c622a5bdb2494f1ed9b549 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -612,6 +612,7 @@ def installBuildDepsRedHat(distro, compier) {
                        automake \
                        bison \
                        flex \
+                       gawk \
                        intltool \
                        libtool \
                        pkg-config \