This is a harmless bug, as the script still works, but curl's '-O' option isn't the same as wget's.
contrib/ChangeLog: * download_prerequisites: Don't pass wget options to curl.
This commit is contained in:
parent
70c884a4b8
commit
def4c0b47e
|
@ -222,7 +222,7 @@ for ar in $(echo_archives)
|
||||||
do
|
do
|
||||||
if [ ${force} -gt 0 ]; then rm -f "${directory}/${ar}"; fi
|
if [ ${force} -gt 0 ]; then rm -f "${directory}/${ar}"; fi
|
||||||
[ -e "${directory}/${ar}" ] \
|
[ -e "${directory}/${ar}" ] \
|
||||||
|| ${fetch} --no-verbose -O "${directory}/${ar}" "${base_url}${ar}" \
|
|| ( cd "${directory}" && ${fetch} --no-verbose "${base_url}${ar}" ) \
|
||||||
|| die "Cannot download ${ar} from ${base_url}"
|
|| die "Cannot download ${ar} from ${base_url}"
|
||||||
done
|
done
|
||||||
unset ar
|
unset ar
|
||||||
|
|
Loading…
Reference in New Issue