From 51fbd6a53d53fc1106726890017c51d5abe4759a Mon Sep 17 00:00:00 2001
From: gcontini <1121667+gcontini@users.noreply.github.com>
Date: 周四, 20 5月 2021 22:31:40 +0800
Subject: [PATCH] ubuntu 20.04 - change to release build

---
 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