build-make: Download from ftpmirror.gnu.org rather than directly from ftp.gnu.org

mstorsjo · mstorsjo · commit a96bbc0c7fc6 · 2025-08-26T16:00:23.000+03:00
Direct access from ftp.gnu.org has been slow lately, and using
a mirror is more considerate in general.
diff --git 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
 

Original file line number	Diff line number	Diff line change
`@@ -52,7 +52,7 @@ download() {`
`52`	`52`	`}`
`53`	`53`
`54`	`54`	`if [ ! -d make-$MAKE_VERSION ]; then`
`55`		`- download https://ftp.gnu.org/gnu/make/make-$MAKE_VERSION.tar.gz`
	`55`	`+ download https://ftpmirror.gnu.org/gnu/make/make-$MAKE_VERSION.tar.gz`
`56`	`56`	`tar -zxf make-$MAKE_VERSION.tar.gz`
`57`	`57`	`fi`
`58`	`58`