Make curl follow redirects, fixes 'make bootstrap-pkg-*'

etc/ci-prepare.sh

@@ -44,9 +44,9 @@ fi
 time "$SRCDIR/configure" --enable-Werror $CONFIGFLAGS
 time make V=1 -j4
 
-# download packages; instruct wget to retry several times if the
+# download packages; instruct curl to retry several times if the
 # connection is refused, to work around intermittent failures
-DOWNLOAD="curl --retry 5 --retry-delay 5 -O"
+DOWNLOAD="curl -L --retry 5 --retry-delay 5 -O"
 if [[ $(uname) == Darwin ]]
 then
     # Travis OSX builders seem to have very small download bandwidth,

etc/download.sh

@@ -6,7 +6,7 @@
 set -e
 
 # check whether curl is available, and if so, delegate to it
-command -v curl >/dev/null 2>&1 && exec curl -O "$@"
+command -v curl >/dev/null 2>&1 && exec curl -L -O "$@"
 
 # check whether wget is available, and if so, delegate to it
 command -v wget >/dev/null 2>&1 && exec wget -N "$@"