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 trunk.
jeff >
