From 99eb809fff70292c75dca9c05fac01122d682d3b Mon Sep 17 00:00:00 2001 From: James Cherry Date: Sun, 26 Jul 2026 17:01:06 -0700 Subject: [PATCH] Dockerfile.centos7 bison server Signed-off-by: James Cherry --- Dockerfile.centos7 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile.centos7 b/Dockerfile.centos7 index 9453e56d..488e9bc5 100644 --- a/Dockerfile.centos7 +++ b/Dockerfile.centos7 @@ -17,7 +17,7 @@ RUN sed -i s/mirror.centos.org/vault.centos.org/g /etc/yum.repos.d/*.repo \ RUN ln -sf /usr/bin/cmake3 /usr/bin/cmake # Download Bison -RUN wget https://ftpmirror.gnu.org/gnu/bison/bison-3.8.2.tar.gz && \ +RUN wget https://mirrors.kernel.org/gnu/bison/bison-3.8.2.tar.gz && \ tar -xvf bison-3.8.2.tar.gz && \ rm bison-3.8.2.tar.gz