fix gmp download url

1 files changed, 2 insertions, 2 deletions

diff --git a/bootstrap.sh b/bootstrap.sh
index c1d743b..2cf1834 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -50,12 +50,12 @@ cd $bootstrapdir/tarballs
 [ -f sed*       ] || curl -LO  https://ftp.gnu.org/pub/gnu/sed/sed-4.10.tar.xz
 [ -f tar*       ] || curl -LO  https://ftpmirror.gnu.org/gnu/tar/tar-1.35.tar.xz
 [ -f mpfr*      ] || curl -LO  https://ftpmirror.gnu.org/gnu/mpfr/mpfr-4.2.2.tar.xz
-[ -f gmp*       ] || curl -LO  https://ftp.gnu.org/pub/gnu/gmp/gmp-6.3.0.tar.xz
+[ -f gmp*       ] || curl -LO  https://gmplib.org/download/gmp/gmp-6.3.0.tar.xz
 [ -f mpc*       ] || curl -LO  https://ftpmirror.gnu.org/gnu/mpc/mpc-1.4.1.tar.xz
 [ -f xz*        ] || curl -LO  https://tukaani.org/xz/xz-5.8.3.tar.gz
 
 for x in $(find $bootstrapdir/tarballs -type f); do
-    if [ $(file $x | grep -i html) ]; then
+    if file $x | grep -i html; then
         echo "Failed to dowload $x exiting"
         exit 1
     fi