diff options
author | Marc Kleine-Budde <mkl@pengutronix.de> | 2009-05-28 15:10:08 +0000 |
---|---|---|
committer | Marc Kleine-Budde <mkl@pengutronix.de> | 2009-05-28 15:10:08 +0000 |
commit | 2d8828d77059d7da8d728014e4d1ab0a5a111751 (patch) | |
tree | f4a9e619710af749659f2b106c7a3bf283f76758 | |
parent | e279ed12fd93810812efcc44e66aac569e493b52 (diff) | |
download | ptxdist-2d8828d77059d7da8d728014e4d1ab0a5a111751.tar.gz ptxdist-2d8828d77059d7da8d728014e4d1ab0a5a111751.tar.xz |
[download] print alternative URLs, too, if download is prohibited
Signed-off-by: Marc Kleine-Budde <mkl@pengutronix.de>
git-svn-id: https://svn.pengutronix.de/svn/ptxdist/trunks/ptxdist-trunk@10601 33e552b5-05e3-0310-8538-816dae2090ed
-rw-r--r-- | scripts/lib/ptxd_make_get.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/scripts/lib/ptxd_make_get.sh b/scripts/lib/ptxd_make_get.sh index 9f869106..f28de706 100644 --- a/scripts/lib/ptxd_make_get.sh +++ b/scripts/lib/ptxd_make_get.sh @@ -78,6 +78,17 @@ Please download '${url}' manually into '${PTXDIST_SRCDIR}' EOF + set -- ${orig_argv[@]} + if [ $# -ne 1 ]; then + cat >&2 <<EOF +If this URL doesn't work, you may try these ones: +EOF + while [ ${#} -ne 0 ]; do + [ "${1}" != "${url}" ] && echo "'${1}'" >&2 + shift + done + echo + fi exit 1 fi } |