From 44bd7efbd48afca5c2fedd6261cc5aa8d8f5dcda Mon Sep 17 00:00:00 2001
From: gcontini <1121667+gcontini@users.noreply.github.com>
Date: 周五, 09 10月 2020 10:20:19 +0800
Subject: [PATCH] change boost mirror
---
scripts/windows_download_boost.bat | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/scripts/windows_download_boost.bat b/scripts/windows_download_boost.bat
index 0ce2b16..dd16be2 100644
--- a/scripts/windows_download_boost.bat
+++ b/scripts/windows_download_boost.bat
@@ -2,7 +2,7 @@
REM build and cache boost on Windows N.B. if no output for 10 minutes it's killed by travis.
if not exist "C:/local/boost/libs" (
echo "Boost not cached, compiling it"
- wget -q -O boost.exe https://dl.bintray.com/boostorg/release/1.71.0/binaries/boost_1_71_0-msvc-14.1-64.exe
+ wget -q -O boost.exe https://versaweb.dl.sourceforge.net/project/boost/boost-binaries/1.71.0/boost_1_71_0-msvc-14.1-64.exe
echo "Boost downloaded"
boost.exe /SILENT /DIR=C:\local\boost
echo "Boost installed"
--
Gitblit v1.9.1