blob: fb0c8edf00d0a676ad08731a706088be8d0063e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
#! /bin/sh
set -e
build_dir=$2
branch="master"
if [ "$1" != "master" -a "$1" != "refs/heads/master" ]; then
branch="develop"
fi
echo "BUILD_DIR: $build_dir"
echo "BRANCH: $branch"
git clone -b $branch --depth 1 https://github.com/boostorg/boost.git boost-root
cd boost-root
# Use a reasonably large depth to prevent intermittent update failures due to
# commits being on a submodule's master before the superproject is updated.
git submodule update --init --depth 20 --jobs 4 \
libs/array \
libs/headers \
tools/build \
tools/boost_install \
tools/boostdep \
libs/align \
libs/atomic \
libs/asio \
libs/assert \
libs/config \
libs/container \
libs/container_hash \
libs/core \
libs/callable_traits \
libs/describe \
libs/filesystem \
libs/intrusive \
libs/optional \
libs/system \
libs/move \
libs/mp11 \
libs/variant2 \
libs/throw_exception \
libs/json
echo Submodule update complete
rm -rf libs/sqlite
cp -r $build_dir libs/sqlite
|
