resume downloads with wget and curl

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

diff --git a/summon-arm-toolchain b/summon-arm-toolchain
index 3cd8aee266295066c4cc0904d367151d8c9641ff..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