diff options
| -rw-r--r-- | tool/downloader.rb | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tool/downloader.rb b/tool/downloader.rb index d0cf52e4e5..21f4aab3c3 100644 --- a/tool/downloader.rb +++ b/tool/downloader.rb @@ -51,7 +51,12 @@ class Downloader class GNU < self def self.download(name, *rest) if https? - super("https://cdn.jsdelivr.net/gh/gcc-mirror/gcc@master/#{name}", name, *rest) + begin + super("https://cdn.jsdelivr.net/gh/gcc-mirror/gcc@master/#{name}", name, *rest) + rescue => e + STDERR.puts "Download failed (#{e.message}), try another URL" + super("https://raw.githubusercontent.com/gcc-mirror/gcc/master/#{name}", name, *rest) + end else super("https://repo.or.cz/official-gcc.git/blob_plain/HEAD:/#{name}", name, *rest) end |