diff options
| -rwxr-xr-x | bootstrap.sh | 4 |
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 |