make curl follow redirects

diff --git a/summon-arm-toolchain b/summon-arm-toolchain
index 31c7991b350d21f9f822eaa73307473c35ba5209..e8493573cf6cb77738dbc40f5f156ee8114db71b 100755 (executable)
--- a/summon-arm-toolchain
+++ b/summon-arm-toolchain
@@ -111,7 +111,7 @@ if which fetch > /dev/null; then
 elif which wget > /dev/null; then
     FETCHCMD=wget
 elif which curl > /dev/null; then
-    FETCHCMD="curl -O"
+    FETCHCMD="curl -O -L"
 else
     FETCHCMD=ftp    # the only HTTP client on some BSD
 fi