diff options
author | VladiMihaylenko <vxmihaylenko@gmail.com> | 2019-04-10 14:24:44 +0300 |
---|---|---|
committer | Vladimir Byko-Ianko <bykoianko@gmail.com> | 2019-06-10 13:50:13 +0300 |
commit | 3c269a9093f3e7a64aae8a5b9247087694dda9e8 (patch) | |
tree | b9734a7d4a33af18d92f9118d0597c49dc7ac7aa /configure.sh | |
parent | ab613f081f7d6bcdc8f32871fb928c27bac6f6b5 (diff) |
Submodule boost
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh index 164bc95110..b7ba9da52a 100755 --- a/configure.sh +++ b/configure.sh @@ -64,3 +64,9 @@ if git clone --depth 1 "$PRIVATE_REPO" "$TMP_REPO_DIR"; then rm -rf "$TMP_REPO_DIR" echo "Private files have been updated." fi + +git submodule update --init --recursive +cd $BASE_PATH/3party/boost/ +./bootstrap.sh +./b2 headers +cd $BASE_PATH |