update CI: overwrite the target dir

This commit is contained in:
Antony Polukhin
2021-04-21 20:59:46 +03:00
parent 4b7d551907
commit 76ed70b0b1

View File

@@ -81,6 +81,7 @@ jobs:
cd ..
git clone -b $BOOST_BRANCH --depth 10 https://github.com/boostorg/boost.git boost-root
cd boost-root
rm -rf libs/$LIBRARY/*
cp -r $GITHUB_WORKSPACE/* libs/$LIBRARY
git submodule update --init --depth 10 --jobs 2 tools/boostdep tools/inspect libs/filesystem
python tools/boostdep/depinst/depinst.py --git_args "--depth 10 --jobs 3" filesystem