diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/travis-before_install.sh | 4 | ||||
-rwxr-xr-x | tools/travis-install.sh | 10 |
2 files changed, 0 insertions, 14 deletions
diff --git a/tools/travis-before_install.sh b/tools/travis-before_install.sh index fe010945..365fcab1 100755 --- a/tools/travis-before_install.sh +++ b/tools/travis-before_install.sh @@ -4,10 +4,6 @@ set -e set -o pipefail -if [ "${TRAVIS_OS_NAME}" = "osx" ]; then - brew update -fi - if [ -n "${BOOST_VERSION}" ]; then mkdir -p $BOOST_ROOT wget --no-verbose --output-document=- \ diff --git a/tools/travis-install.sh b/tools/travis-install.sh index 4e8bdc48..995f18df 100755 --- a/tools/travis-install.sh +++ b/tools/travis-install.sh @@ -4,16 +4,6 @@ set -e set -o pipefail -if [ "${TRAVIS_OS_NAME}" = "osx" ]; then - for formula in $(echo "${BREWS//,/ }"); do - echo "Checking ${formula} formula" - brew outdated "${formula}" \ - || (brew unlink "${formula}" - brew install "${formula}" - ) - done -fi - if [ -d "${BOOST_ROOT}" ]; then (cd "${BOOST_ROOT}" ./bootstrap.sh --with-libraries="${BOOST_LIBS}" |