https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78161
Damian Rouson changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78161
--- Comment #4 from Damian Rouson ---
I'll close this because another developer is going to work on it so my last
comment no longer applies.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78161
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78161
--- Comment #1 from Richard Biener ---
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.