From a96bbc0c7fc69e0a7d86678fb3d8c0234d7eb7d2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Storsj=C3=B6?= <martin@martin.st>
Date: Tue, 26 Aug 2025 15:59:51 +0300
Subject: [PATCH] build-make: Download from ftpmirror.gnu.org rather than
 directly from ftp.gnu.org

Direct access from ftp.gnu.org has been slow lately, and using
a mirror is more considerate in general.
---
 build-make.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-make.sh b/build-make.sh
index 950e289..7cad409 100755
--- a/build-make.sh
+++ b/build-make.sh
@@ -52,7 +52,7 @@ download() {
 }
 
 if [ ! -d make-$MAKE_VERSION ]; then
-    download https://ftp.gnu.org/gnu/make/make-$MAKE_VERSION.tar.gz
+    download https://ftpmirror.gnu.org/gnu/make/make-$MAKE_VERSION.tar.gz
     tar -zxf make-$MAKE_VERSION.tar.gz
 fi