diff --git a/tool/downloader.rb b/tool/downloader.rb index f09d44851e..3020322a98 100644 --- a/tool/downloader.rb +++ b/tool/downloader.rb @@ -395,18 +395,20 @@ if $0 == __FILE__ end case ARGV[0] - when '-d' + when '-d', '--destdir' destdir = ARGV[1] ARGV.shift - when '-p' + when '-p', '--prefix' # strip directory names from the name to download, and add the # prefix instead. prefix = ARGV[1] ARGV.shift - when '-e' + when '-e', '--exist', '--non-existent-only' since = nil - when '-a' + when '-a', '--always' since = false + when '-u', '--update', '--if-modified' + since = true when '-n', '--dryrun' options[:dryrun] = true when '--cache-dir'