diff options
author | naruse <naruse@b2dd03c8-39d4-4d8f-98ff-823fe69b080e> | 2015-11-26 15:40:58 +0000 |
---|---|---|
committer | naruse <naruse@b2dd03c8-39d4-4d8f-98ff-823fe69b080e> | 2015-11-26 15:40:58 +0000 |
commit | 8f0268991ce58e903b5283072fcf736ca05bbf79 (patch) | |
tree | 965cd464ad03136136b64bf6af358529528307e1 /tool | |
parent | 81ece7f0a1139073412cdb49fce3663f1a7a5f3b (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')
-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 |