https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78161

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
The issue with the current script is probably relying too much on wget
internals
(the -O option).  It would probably be better to simply cd into the destination
directory and do wget w/o -O.

Reply via email to