Only use BOOST_ROOT

This commit is contained in:
Alexander Grund 2020-07-16 12:59:05 +02:00
parent 32d16f773b
commit 01013cce2f
No known key found for this signature in database
GPG key ID: E92C451FC21EF13F
3 changed files with 17 additions and 17 deletions

View file

@ -7,14 +7,14 @@
set -eux
export BOOST="$BOOST_ROOT"
# Need to set BOOST_ROOT and run from the source root directory
PROJECT_DIR="$(pwd)"
cd "$BOOST"
cd "$BOOST_ROOT"
./b2 "$PROJECT_DIR/test" -q "$@"
cd "$PROJECT_DIR"
scripts/build_doc.sh "$@"
cd "$BOOST"
cd "$BOOST_ROOT"
./b2 "$PROJECT_DIR/doc//mock_examples" -q "$@"