From 1ad34919a14a41a1e5c15330b5cb1d8487dc2ee1 Mon Sep 17 00:00:00 2001 From: Colin Walters 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"