summaryrefslogtreecommitdiff
path: root/tool/downloader.rb
diff options
context:
space:
mode:
authornaruse <naruse@b2dd03c8-39d4-4d8f-98ff-823fe69b080e>2015-11-26 15:40:58 +0000
committernaruse <naruse@b2dd03c8-39d4-4d8f-98ff-823fe69b080e>2015-11-26 15:40:58 +0000
commit8f0268991ce58e903b5283072fcf736ca05bbf79 (patch)
tree965cd464ad03136136b64bf6af358529528307e1 /tool/downloader.rb
parent81ece7f0a1139073412cdb49fce3663f1a7a5f3b (diff)
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
Diffstat (limited to 'tool/downloader.rb')
-rw-r--r--tool/downloader.rb6
1 files changed, 5 insertions, 1 deletions
diff --git a/tool/downloader.rb b/tool/downloader.rb
index a52225c..40a207f 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