Fix powershell TLS issue with download

This commit is contained in:
Ganesh Viswanathan 2019-03-07 12:21:31 -06:00
commit fc1bc78250

View file

@ -68,7 +68,7 @@ proc downloadUrl*(url, outdir: string) =
echo "Downloading " & file
mkDir(outdir)
var cmd = if defined(Windows):
"powershell wget $# -OutFile $#"
"powershell [Net.ServicePointManager]::SecurityProtocol = [Net.SecurityProtocolType]::Tls12; wget $# -OutFile $#"
else:
"curl $# -o $#"
discard execAction(cmd % [url, outdir/file])