mirror of
https://github.com/boostorg/config.git
synced 2025-07-30 04:17:16 +02:00
Merge pull request #143 from boostorg/jzmaddock-patch-2
Travis: remove redundent git clone
This commit is contained in:
@ -430,7 +430,6 @@ install:
|
||||
- git clone -b $TRAVIS_BRANCH --depth 1 https://github.com/boostorg/boost.git boost-root
|
||||
- cd boost-root
|
||||
- git submodule update --init tools/build
|
||||
- git submodule update --init libs/config
|
||||
- git submodule update --init tools/boostdep
|
||||
- cp -r $TRAVIS_BUILD_DIR/* libs/config
|
||||
- python tools/boostdep/depinst/depinst.py config
|
||||
|
Reference in New Issue
Block a user