From 1ad34919a14a41a1e5c15330b5cb1d8487dc2ee1 Mon Sep 17 00:00:00 2001
From: Colin Walters <walters@verbum.org>
Date: Dec 14 2016 15:46:35 +0000
Subject: get_sources: Print the URL we're fetching


Just for better debugging.

---

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