Merge branch 'develop' of https://github.com/boostorg/integer into develop

This commit is contained in:
jzmaddock
2017-04-24 19:20:02 +01:00

View File

@ -311,10 +311,9 @@ install:
- cd boost-root
- git submodule update --init tools/build
- git submodule update --init libs/config
- git submodule update --init libs/assert
- git submodule update --init libs/core
- git submodule update --init libs/static_assert
- git submodule update --init tools/boostdep
- cp -r $TRAVIS_BUILD_DIR/* libs/integer
- python tools/boostdep/depinst/depinst.py integer
- ./bootstrap.sh
- ./b2 headers