Merge remote-tracking branch 'origin/devel' into sandbox/xuwc/devel-riscvsandbox/xuwc/devel-riscv

Change-Id: I5666781314917463828a7bb5944c693b1b150274

1 files changed, 1 insertions, 1 deletions

diff --git a/download b/download
index 6b374d3..5442727 100755
--- a/download
+++ b/download
@@ -88,7 +88,7 @@ for my $url (@ARGV) {
        $url = URI->new($url);
    }
   }
-  $ua->env_proxy if $url->scheme ne 'https';
+  $ua->env_proxy;
   my $dest = "$dir/".basename($url->path).".tmp";
   unlink($dest);	# just in case
   my $retry = 3;