diff options
| author | Maksim Andrianov <maksimandrianov1@gmail.com> | 2019-05-14 15:29:25 +0300 |
|---|---|---|
| committer | Vladimir Byko-Ianko <bykoianko@gmail.com> | 2019-06-10 13:50:13 +0300 |
| commit | 3946ef2837022d28b9e8db4fa909166c3b2129fa (patch) | |
| tree | d54186f964c1bd81dd83a4b37e353ad4cfe52b1a /configure.sh | |
| parent | f0e3f68d7003cb5448fba5aedf02508129966f7b (diff) | |
[3party] Remove boost build from configure.sh.
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/configure.sh b/configure.sh index b7ba9da52a..def82c14d7 100755 --- a/configure.sh +++ b/configure.sh @@ -65,8 +65,3 @@ if git clone --depth 1 "$PRIVATE_REPO" "$TMP_REPO_DIR"; then echo "Private files have been updated." fi -git submodule update --init --recursive -cd $BASE_PATH/3party/boost/ -./bootstrap.sh -./b2 headers -cd $BASE_PATH |