Re: [PATCH] contrib: Don't pass wget options to curl

On Tue, 2020-07-07 at 18:44 -0400, Mike Nolta via Gcc-patches wrote: > 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. THanks. I've pushed this to the

[PATCH] contrib: Don't pass wget options to curl

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. --- contrib/download_prerequisites | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib