diff --git a/tools/get.exe b/tools/get.exe index 208ebf8272e1a9fa15c3ba1622086b8a60bf95e5..a498e5214f31159beccd84cad6d7b468a0175119 100644 Binary files a/tools/get.exe and b/tools/get.exe differ diff --git a/tools/get.py b/tools/get.py old mode 100755 new mode 100644 index e7adb370f9dcda8a57477d6e791ef22a232fa180..cbff69d2e09ff433ae2626b3812ded4fc198deda --- a/tools/get.py +++ b/tools/get.py @@ -80,6 +80,7 @@ def get_tool(tool): print('Downloading ' + archive_name); sys.stdout.flush() if 'CYGWIN_NT' in sys_name: + import ssl ctx = ssl.create_default_context() ctx.check_hostname = False ctx.verify_mode = ssl.CERT_NONE