commit 013beb51b24b99484300713e69be2bf5fd4edba8
author Brian Neradt <brian.neradt@gmail.com> Mon May 02 13:23:33 2022 -0500
committer GitHub <noreply@github.com> Mon May 02 13:23:33 2022 -0500
tree 9465b7b51b244bb22827cc2a71837b45a33ec156
parent 38a1eb4e87d4ff8c9feb6c81d72ce2addc83fbc2

M4=/bin/m4 for fedora:35 autoreconf github builds (#97)

Applying what we did for branch builds to the fedora github CI builds:
38a1eb4e87d4ff8c9feb6c81d72ce2addc83fbc2

jenkins/github/fedora.pipeline

diff --git a/jenkins/github/fedora.pipeline b/jenkins/github/fedora.pipeline
index 9e92e58..a12c42a 100644
--- a/jenkins/github/fedora.pipeline
+++ b/jenkins/github/fedora.pipeline
@@ -54,7 +54,7 @@
                         autoreconf_succeeded=0
                         for i in {1..5}
                         do
-                          if CONFIG_SHELL=/bin/bash autoreconf -fiv
+                          if M4=/bin/m4 CONFIG_SHELL=/bin/bash autoreconf -fiv
                           then
                             autoreconf_succeeded=1
                             break