add new toolchain and fix get.py bad chars

2017-01-16 14:34:28 +02:00
parent 151f275ed1
commit 49a476c5f0
2 changed files with 17 additions and 17 deletions
--- a/tools/get.py
+++ b/tools/get.py
@ -84,7 +84,7 @@ def get_tool(tool):
            try:
                urlretrieve(url, local_path, report_progress)
            except Exception,e:
-                r = requests.get(url)
+                r = requests.get(url)
                f = open(local_path, 'wb')
                f.write(r.content)
                f.close()