From 3c75e71afc43f7b74fcfb4e194d09dc2c0175073 Mon Sep 17 00:00:00 2001 From: Hao Chen Date: Thu, 16 Aug 2018 00:10:28 +0800 Subject: [PATCH] reduce noisy log messages from wget (#2656) --- thirdparty/scripts/build_boost.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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