diff options
| author | Ganesh Viswanathan <dev@genotrance.com> | 2019-07-16 22:17:32 -0500 |
|---|---|---|
| committer | Ganesh Viswanathan <dev@genotrance.com> | 2019-07-16 22:17:32 -0500 |
| commit | 2be81614a9851ec13547bffcfe73c20fec6f7708 (patch) | |
| tree | c33395daf96688ac23ed3dcc7381fe0f05492cec | |
| parent | 39f5f320a627a895d3000673a0fb29603354061f (diff) | |
| download | nimgen-master.tar.gz nimgen-master.zip | |
| -rw-r--r-- | src/nimgen/external.nim | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/nimgen/external.nim b/src/nimgen/external.nim index 8656147..cc7a5e8 100644 --- a/src/nimgen/external.nim +++ b/src/nimgen/external.nim @@ -43,9 +43,10 @@ proc downloadUrl*(url: string) = file = url.extractFilename() ext = file.splitFile().ext.toLowerAscii() - var cmd = "curl $# -o $#" - if defined(Windows): - cmd = "powershell wget $# -OutFile $#" + var cmd = if defined(Windows): + "powershell [Net.ServicePointManager]::SecurityProtocol = [Net.SecurityProtocolType]::Tls12; wget $# -OutFile $#" + else: + "curl -L $# -o $#" if not (ext == ".zip" and fileExists(gOutput/file)): echo "Downloading " & file |