diff options
| author | Araq <rumpf_a@web.de> | 2017-12-02 00:57:13 +0100 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2017-12-02 00:57:13 +0100 |
| commit | 82870058d31f5291b63b690139522050a589d233 (patch) | |
| tree | b772f7f6960722a9c0c077af32ade3679bcb4559 | |
| parent | d27c0b219249b2584fc7a3f175adfde862ca701f (diff) | |
| download | Nim-82870058d31f5291b63b690139522050a589d233.tar.gz | |
finish.nim: make it work with spaces in the path to curl
| -rw-r--r-- | tools/finish.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/finish.nim b/tools/finish.nim index 45d7dd3a8..207f15f76 100644 --- a/tools/finish.nim +++ b/tools/finish.nim @@ -32,7 +32,7 @@ proc downloadMingw(): DownloadResult = let curl = findExe"curl" var cmd: string if curl.len > 0: - cmd = curl & " --out " & "dist" / mingw & " " & url + cmd = quoteShell(curl) & " --out " & "dist" / mingw & " " & url elif fileExists"bin/nimgrab.exe": cmd = "bin/nimgrab.exe " & url & " dist" / mingw if cmd.len > 0: |