mirror of
https://github.com/mat007/turtle.git
synced 2026-06-22 12:13:43 +00:00
Use boost-local for boost folder to ignore its coverage
This commit is contained in:
parent
e209d544c1
commit
c4af5d937b
1 changed files with 1 additions and 1 deletions
|
|
@ -62,7 +62,7 @@ before_install:
|
|||
# Cloning Boost libraries (fast nondeep cloning)
|
||||
- PROJECT_DIR=`pwd`
|
||||
- git --version
|
||||
- BOOST=$HOME/boost
|
||||
- BOOST=$HOME/boost-local
|
||||
- git clone -b $BRANCH_TO_TEST https://github.com/boostorg/boost.git $BOOST
|
||||
- cd $BOOST
|
||||
- git submodule update --init --merge
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue