3 Jul
2019
3 Jul
'19
4:49 p.m.
Paul A Bristow wrote:
I naively did what I normally do to update to current develop branch
git checkout develop git pull --recurse-submodules git submodule update --init
followed by a boostrap.bat
and b2 -a headers
but perhaps that doesn't prune dead branches?
`git submodule update --init` creates directories as needed for new modules, but it doesn't delete directories as needed (for removed modules.)