From: Peter Dimov (pdimov_at_[hidden])
Date: 2019-07-03 16:49:15
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.)