diff --git a/thirdparty/scripts/build_boost.sh b/thirdparty/scripts/build_boost.sh index c5b811b72..3f763be7e 100755 --- a/thirdparty/scripts/build_boost.sh +++ b/thirdparty/scripts/build_boost.sh @@ -15,7 +15,7 @@ if [[ ! -d $TP_DIR/pkg/boost ]]; then # The wget command frequently fails, so retry up to 20 times. for COUNT in {1..20}; do # Attempt to wget boost and break from the retry loop if it succeeds. - wget --no-check-certificate http://dl.bintray.com/boostorg/release/$BOOST_VERSION/source/boost_$BOOST_VERSION_UNDERSCORE.tar.gz -O $TP_DIR/build/boost_$BOOST_VERSION_UNDERSCORE.tar.gz && break + wget --progress=dot:giga --no-check-certificate http://dl.bintray.com/boostorg/release/$BOOST_VERSION/source/boost_$BOOST_VERSION_UNDERSCORE.tar.gz -O $TP_DIR/build/boost_$BOOST_VERSION_UNDERSCORE.tar.gz && break # If none of the retries succeeded at getting boost, then fail. if [[ $COUNT == 20 ]]; then exit 1