diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-01-24 15:16:36 +0100 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-01-24 17:55:28 +0100 |
commit | 703737f43b2ddabea4174062749a056b01595976 (patch) | |
tree | 5a079b20f1de173a9dfb64a4d40da205bbc553f9 /src/buildtool/file_system/git_repo.cpp | |
parent | c5aecdb15685bcbae02ced7586dd927482bf7ce5 (diff) | |
download | justbuild-703737f43b2ddabea4174062749a056b01595976.tar.gz |
bin/boostrap.py: support dropping of repositories
Not all repositories mentioned in the repository configuration are
needed to boostrap just (e.g., because they are used for testing).
Support dropping dependencies for bootstrapping by replacing them
by a reference to an empty directory and in this way have less
files that need to be fetched.
Diffstat (limited to 'src/buildtool/file_system/git_repo.cpp')
0 files changed, 0 insertions, 0 deletions