diff options
Diffstat (limited to 'tool')
| -rw-r--r-- | tool/downloader.rb | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tool/downloader.rb b/tool/downloader.rb index a52225c83e..40a207f14e 100644 --- a/tool/downloader.rb +++ b/tool/downloader.rb @@ -40,7 +40,11 @@ class Downloader class GNU < self def self.download(name, *rest) - super("#{https}://gcc.gnu.org/git/?p=gcc.git;a=blob_plain;f=#{name};hb=master", name, *rest) + if https == 'https' + super("https://raw.githubusercontent.com/gcc-mirror/gcc/master/#{name}", name, *rest) + else + super("http://repo.or.cz/official-gcc.git/blob_plain/HEAD:/#{name}", name, *rest) + end end end |