diff options
Diffstat (limited to 'scripts/0100-download.sh')
| -rwxr-xr-x | scripts/0100-download.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/0100-download.sh b/scripts/0100-download.sh index 798355e..bd4786d 100755 --- a/scripts/0100-download.sh +++ b/scripts/0100-download.sh @@ -15,4 +15,4 @@ mkdir -p /downloads && cd /downloads [ -f readline-$READLINE_VERSION.tar.gz ] || curl -LO -C - https://ftp.gnu.org/gnu/readline/readline-$READLINE_VERSION.tar.gz [ -f gmp-$GMP_VERSION.tar.xz ] || curl -LO -C - https://ftp.gnu.org/gnu/gmp/gmp-$GMP_VERSION.tar.xz [ -f mpfr-$MPFR_VERSION.tar.xz ] || curl -LO -C - https://www.mpfr.org/mpfr-$MPFR_VERSION/mpfr-$MPFR_VERSION.tar.xz -[ -f mpc-$MPC_VERSION.tar.gz ] || curl -LO -C - https://ftp.gnu.org/gnu/mpc/mpc-$MPC_VERSION.tar.gz +[ -f mpc-$MPC_VERSION.tar.xz ] || curl -LO -C - https://ftp.gnu.org/gnu/mpc/mpc-$MPC_VERSION.tar.xz |