resume downloads with wget and curl

[summon-arm-toolchain.git] / summon-arm-toolchain

diff --git a/summon-arm-toolchain b/summon-arm-toolchain
index 7ede3599254c5bf4d13b3040774ad0a69d2591e0..a20608d906193d4719a20b43bb801784d2d901fc 100755 (executable)
--- a/summon-arm-toolchain
+++ b/summon-arm-toolchain
@@ -119,9 +119,9 @@ STAMPS=${SUMMON_DIR}/stamps
 if which fetch > /dev/null; then
     FETCHCMD="fetch -p"
 elif which wget > /dev/null; then
-    FETCHCMD=wget
+    FETCHCMD="wget -c"
 elif which curl > /dev/null; then
-    FETCHCMD="curl -O -L"
+    FETCHCMD="curl -C - -O -L"
 else
     FETCHCMD=ftp    # the only HTTP client on some BSD
 fi
@@ -207,7 +207,9 @@ fetch ${MPFR} http://www.mpfr.org/${MPFR}/${MPFR}.tar.bz2
 fetch ${MPC} http://www.multiprecision.org/mpc/download/${MPC}.tar.gz
 
 if which sha1sum > /dev/null; then
-    ( echo "$SHA1SUMS" | sha1sum -c - ) || ( log 'ERROR: Checksum fail!'; exit 1 )
+    for f in ${BINUTILS} ${GCC} ${NEWLIB} ${GDB} ${GMP} ${MPFR} ${MPC}; do
+        ( echo "$SHA1SUMS" | grep -F $f | sha1sum -c - ) || ( log 'ERROR: Checksum fail!'; exit 1 )
+    done
 else
     log "WARING: skipping checksum checks due to missing sha1sum"
 fi