From 19483ee172b2c7b4248839f8f278fc0bd584a91a Mon Sep 17 00:00:00 2001
From: Michael Tremer <michael.tremer@ipfire.org>
Date: Wed, 2 Apr 2025 10:32:04 +0000
Subject: [PATCH] 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>
---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

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