diff options
| author | Mike Nolta <mike@nolta.net> | 2020-07-10 14:05:41 -0600 |
|---|---|---|
| committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 13:17:19 -0300 |
| commit | 5235f61785017f0c398c2916824bc021bbefcdf8 (patch) | |
| tree | 760604406b2380332c68d18eaad08bfb0e20ad53 | |
| parent | 66c89a2cefe00df2df38bfc2ac4a121c7c3fe14f (diff) | |
| download | gcc-5235f61785017f0c398c2916824bc021bbefcdf8.zip gcc-5235f61785017f0c398c2916824bc021bbefcdf8.tar.gz gcc-5235f61785017f0c398c2916824bc021bbefcdf8.tar.bz2 | |
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.
| -rwxr-xr-x | contrib/download_prerequisites | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/download_prerequisites b/contrib/download_prerequisites index da19913..7d0c4b5 100755 --- a/contrib/download_prerequisites +++ b/contrib/download_prerequisites @@ -222,7 +222,7 @@ for ar in $(echo_archives) do if [ ${force} -gt 0 ]; then rm -f "${directory}/${ar}"; fi [ -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}" done unset ar |