diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 61d35e2d7..9b16a37fd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -184,7 +184,7 @@ jobs: cd boost-root cp -r $GITHUB_WORKSPACE/* libs/$LIBRARY git submodule update --init tools/boostdep - python3 tools/boostdep/depinst/depinst.py --git_args "--jobs 3" $LIBRARY + python3 tools/boostdep/depinst/depinst.py --git_args "--jobs 3" -I examples $LIBRARY ./bootstrap.sh ./b2 -d0 headers @@ -248,7 +248,7 @@ jobs: cd boost-root xcopy /s /e /q %GITHUB_WORKSPACE% libs\%LIBRARY%\ git submodule update --init tools/boostdep - python tools/boostdep/depinst/depinst.py --git_args "--jobs 3" %LIBRARY% + python tools/boostdep/depinst/depinst.py --git_args "--jobs 3" -I examples %LIBRARY% cmd /c bootstrap b2 -d0 headers