Source: show | on GitHub
# File tool/downloader.rb, line 42 def self.download(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