Merge pull request #60 from Flamefire/coverage

Use boost-local for boost folder to ignore its coverage
This commit is contained in:
Mathieu Champlon 2018-11-19 07:12:45 -08:00 committed by GitHub
commit fb8d7abab4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -62,7 +62,7 @@ before_install:
# Cloning Boost libraries (fast nondeep cloning) # Cloning Boost libraries (fast nondeep cloning)
- PROJECT_DIR=`pwd` - PROJECT_DIR=`pwd`
- git --version - git --version
- BOOST=$HOME/boost - BOOST=$HOME/boost-local
- git clone -b $BRANCH_TO_TEST https://github.com/boostorg/boost.git $BOOST - git clone -b $BRANCH_TO_TEST https://github.com/boostorg/boost.git $BOOST
- cd $BOOST - cd $BOOST
- git submodule update --init --merge - git submodule update --init --merge