From a16ca8434671ce1f3ec3647727c5fe0392faff1f Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Tue, 17 Feb 2015 09:19:49 -0800 Subject: [PATCH] Use mirror --- support/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/support/build.py b/support/build.py index 83eb27cc..968ef0ee 100755 --- a/support/build.py +++ b/support/build.py @@ -11,7 +11,7 @@ build_command = ['msbuild', '/m:4', '/p:Config=' + os.environ['CONFIG'], 'FORMAT test_command = ['msbuild', 'RUN_TESTS.vcxproj'] if build == 'mingw': # Install MinGW. - mingw_url = 'http://downloads.sourceforge.net/project/mingw-w64/' + \ + mingw_url = 'http://ufpr.dl.sourceforge.net/project/mingw-w64/' + \ 'Toolchains%20targetting%20Win64/Personal%20Builds/mingw-builds/' + \ '4.9.2/threads-win32/seh/x86_64-4.9.2-release-win32-seh-rt_v3-rev1.7z' with Downloader().download(mingw_url) as f: