summaryrefslogtreecommitdiff
path: root/tool/config_files.rb
blob: 9c2a4c7dabeb195098e44e978f9ca7e69e582a8f (plain)
1
2
3
4
5
6
7
8
require 'open-uri'

ConfigFiles = "http://gcc.gnu.org/git/?p=gcc.git;a=blob_plain;f=%s;hb=HEAD"
def ConfigFiles.download(name, dir = nil)
  data = URI(self % name).read
  file = dir ? File.join(dir, name) : name
  open(file, "wb", 0755) {|f| f.write(data)}
end