9 if [ "$1" != "master" -a "$1" != "refs/heads/master" ]; then
13 echo "BUILD_DIR: $build_dir"
14 echo "BRANCH: $branch"
16 git clone
-b $branch --depth 1 https
://github.com
/boostorg
/boost.git boost-root
19 # Use a reasonably large depth to prevent intermittent update failures due to
20 # commits being on a submodule's master before the superproject is updated.
21 git submodule update
--init --depth 20 --jobs 4 \
40 libs
/throw_exception \
72 libs
/numeric
/conversion \
86 echo Submodule update complete
89 cp -r $build_dir libs
/beast