From bcc26c94f2438b62ea168dd675110f2852dbd1aa Mon Sep 17 00:00:00 2001
From: CalcLoverHK <0v0katai@gmail.com>
Date: Fri, 7 Mar 2025 18:12:21 +0100
Subject: [PATCH] use GNU FTP mirror URL for faster download speed

---
 configure.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/configure.sh b/configure.sh
index b49ef16..4233f10 100755
--- a/configure.sh
+++ b/configure.sh
@@ -4,7 +4,7 @@ source util.sh
 
 VERSION=$1
 PREFIX="$2"
-URL="https://ftp.gnu.org/gnu/gcc/gcc-$VERSION/gcc-$VERSION.tar.xz"
+URL="https://ftpmirror.gnu.org/gnu/gcc/gcc-$VERSION/gcc-$VERSION.tar.xz"
 ARCHIVE=$(basename "$URL")
 
 # Final location of gcc in the sysroot
@@ -77,7 +77,7 @@ if [[ -f "$ARCHIVE" ]]; then
 else
   echo "$TAG Downloading $URL..."
   if command -v curl >/dev/null 2>&1; then
-    curl $URL -o $ARCHIVE
+    curl $URL -L -o $ARCHIVE
   elif command -v wget >/dev/null 2>&1; then
     wget -q --show-progress $URL -O $ARCHIVE
   else