Merge branch 'devel' into faster-nimsuggest

2017-02-17 10:48:01 +01:00 · 2017-02-17 10:48:01 +01:00 · ba29ca0c63
commit ba29ca0c63
parent 1189ae9b99 e9767d8809
52 changed files with 1048 additions and 281 deletions
--- a/tools/finish.nim
+++ b/tools/finish.nim
@ -209,6 +209,9 @@ proc main() =
          of Manual:
            echo "After download, move it to: ", dest
            if askBool("Download successful? (y/n) "):
+              while not fileExists("dist" / mingw):
+                echo "could not find: ", "dist" / mingw
+                if not askBool("Try again? (y/n) "): break
              if unzip(): retry = true
          of Failure: discard
          of Success: