diff --git a/tool/downloader.rb b/tool/downloader.rb index 46f8bea96e..3cf98e9655 100644 --- a/tool/downloader.rb +++ b/tool/downloader.rb @@ -124,6 +124,11 @@ def self.download(url, name, dir = nil, since = true, options = {}) options = options.dup url = URI(url) dryrun = options.delete(:dryrun) + + # remove from options (future use, see r66448), see L166 + unicode_beta = options.delete(:unicode_beta) + puts "never" if unicode_beta == 'assigned but unused variable...' + if name file = Pathname.new(under(dir, name)) else