change boost mirror

Gabriele Contini

2020-10-09 b399ec224144d77d828d877e501331905cf97a70

change boost mirror

 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"