Update travis dist/tools

This commit is contained in:
Mike Ellery
2019-02-04 12:11:38 -08:00
committed by Nik Bougalis
parent 5c124f11c2
commit b2170d016a
2 changed files with 13 additions and 11 deletions

View File

@@ -24,8 +24,9 @@ then
tar xzf /tmp/boost.tar.gz
cd $BOOST_ROOT && \
$time ./bootstrap.sh --prefix=$BOOST_ROOT && \
$time ./b2 -d1 define=_GLIBCXX_USE_CXX11_ABI=0 -j$((2*${NUM_PROCESSORS:-2})) &&\
$time ./b2 -d0 define=_GLIBCXX_USE_CXX11_ABI=0 install
$time ./b2 cxxflags="-std=c++14" -j$((2*${NUM_PROCESSORS:-2})) &&\
$time ./b2 install
else
echo "Using cached boost at $BOOST_ROOT"
fi