huahaofeng
/
aspnetcore
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Use wget and fallback to curl

This commit is contained in:
Nate McMaster 2017-07-25 16:41:55 -07:00
parent b512181608
commit f0cc2f1061
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
build.sh
View File

@ -99,12 +99,13 @@ __get_remote_file() {
fi fi
failed=false failed=false
if __machine_has curl ; then if __machine_has wget; then
wget --tries 10 --quiet -O $local_path $remote_path || failed=true
fi
if [ "$failed" = true ] && __machine_has curl; then
failed=false
curl --retry 10 -sSL -f --create-dirs -o $local_path $remote_path || failed=true curl --retry 10 -sSL -f --create-dirs -o $local_path $remote_path || failed=true
elif __machine_has wget; then
wget --tries 10 -O $local_path $remote_path || failed=true
else
failed=true
fi fi
if [ "$failed" = true ]; then if [ "$failed" = true ]; then