commit: 6f8399cca7ce9cfd6f5b5ebc4307c12405d190e0
Author: Benda Xu <heroxbd <AT> gentoo <DOT> org>
AuthorDate: Mon Jun 13 14:15:04 2016 +0000
Commit: Benda XU <heroxbd <AT> gentoo <DOT> org>
CommitDate: Mon Jun 13 14:15:04 2016 +0000
URL: https://gitweb.gentoo.org/repo/proj/prefix.git/commit/?id=6f8399cc
bootstrap-prefix.sh: add move up curl
add -f option to test against download failures.
scripts/bootstrap-prefix.sh | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/scripts/bootstrap-prefix.sh b/scripts/bootstrap-prefix.sh
index 6fd749c..e164f6b 100755
--- a/scripts/bootstrap-prefix.sh
+++ b/scripts/bootstrap-prefix.sh
@@ -47,13 +47,13 @@ efetch() {
# curl, FreeBSD's fetch and ftp.
if [[ x$(type -t wget) == "xfile" ]] ; then
FETCH_COMMAND="wget"
- elif [[ x$(type -t ftp) == "xfile" ]] ; then
- FETCH_COMMAND="ftp"
elif [[ x$(type -t curl) == "xfile" ]] ; then
einfo "WARNING: curl doesn't fail when
downloading fails, please check its output carefully!"
- FETCH_COMMAND="curl -L -O"
+ FETCH_COMMAND="curl -f -L -O"
elif [[ x$(type -t fetch) == "xfile" ]] ; then
FETCH_COMMAND="fetch"
+ elif [[ x$(type -t ftp) == "xfile" ]] ; then
+ FETCH_COMMAND="ftp"
else
eerror "no suitable download manager found
(need wget, curl, fetch or ftp)"
eerror "could not download ${1##*/}"
