diff options
Diffstat (limited to 'tool/downloader.rb')
| -rw-r--r-- | tool/downloader.rb | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tool/downloader.rb b/tool/downloader.rb index 6c34f73ca2..d4f958e69a 100644 --- a/tool/downloader.rb +++ b/tool/downloader.rb @@ -228,7 +228,13 @@ if $0 == __FILE__ dl = Downloader.const_get(dl) ARGV.shift ARGV.each do |name| - name = "#{prefix}/#{File.basename(name)}" if prefix + if prefix + if name.include?('/auxiliary/') + name = "#{prefix}/auxiliary/#{File.basename(name)}" + else + name = "#{prefix}/#{File.basename(name)}" + end + end dl.download(name, destdir, since, options) end else |