From f793e3b3e233cc351d29b12f92760622c2b0e361 Mon Sep 17 00:00:00 2001 From: naruse Date: Thu, 26 Nov 2015 15:40:58 +0000 Subject: Use more tough server: GitHub or repo.or.cz https://gcc.gnu.org/wiki/GitMirror git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@52761 b2dd03c8-39d4-4d8f-98ff-823fe69b080e --- tool/downloader.rb | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'tool') 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 -- cgit v1.2.3