From 552ca48e93aa064a9f9809f568386bbd1a8147eb Mon Sep 17 00:00:00 2001
From: Colin Walters <walters@verbum.org>
Date: Dec 14 2016 15:46:35 +0000
Subject: get_sources: Follow redirects


This is general best practice, and would have avoided the
need for 696c29f5c931b0c91d1c7791a90127b8bb7bf9c9
(I tested with that commit reverted)

---

diff --git a/get_sources.sh b/get_sources.sh
index 8177f5a..946f36e 100755
--- a/get_sources.sh
+++ b/get_sources.sh
@@ -212,7 +212,7 @@ while read -r fsha fname ; do
       for br in "${branches[@]}"
       do
         br=$(echo ${br}| sed -e s'|remotes/origin/||')
-        curl ${QUIET} -f "${SURL}/${pn}/${br}/${fsha}" -o "${fname}" && break
+        curl -L ${QUIET} -f "${SURL}/${pn}/${br}/${fsha}" -o "${fname}" && break
       done
     else
       echo "${fname} exists. skipping"