diff options
Diffstat (limited to 'tool')
| -rw-r--r-- | tool/downloader.rb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tool/downloader.rb b/tool/downloader.rb index 0a6a9c5056..49a1de326c 100644 --- a/tool/downloader.rb +++ b/tool/downloader.rb @@ -113,6 +113,8 @@ if $0 == __FILE__ ARGV.shift when '-e' ims = nil + when '-a' + ims = true when /\A-/ abort "#{$0}: unknown option #{ARGV[0]}" else |