diff options
Diffstat (limited to 'tool/downloader.rb')
-rw-r--r-- | tool/downloader.rb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tool/downloader.rb b/tool/downloader.rb index 8ec8c966f9..f43861ceb5 100644 --- a/tool/downloader.rb +++ b/tool/downloader.rb @@ -330,6 +330,7 @@ end Downloader.https = https.freeze if $0 == __FILE__ + puts "==== downloader.rb called with the following arguments: #{ARGV.join ' '}" # additional output for debugging since = true options = {} until ARGV.empty? |