diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-13 16:34:12 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-23 14:18:48 +0100 |
| commit | 8d9fd1818feee729e5adeab982608aff4eddd613 (patch) | |
| tree | 0ba94d9db7d0c7933a3cd5d7246bc4d090b82540 /src/buildtool/execution_api/common/execution_api.hpp | |
| parent | ddb858a101e6da5d9e6f31c41777b7108e8952be (diff) | |
| download | justbuild-8d9fd1818feee729e5adeab982608aff4eddd613.tar.gz | |
GitRepo: Make repository initialisation more robust
As the initialisation of Git repositories is something that only
takes place once, we should check early and cheaply whether the
repository is already there before trying to initialize it.
If we do need to initilize a repo, we can afford more attempts and
longer wait times between tries to initalize if the failure to
initialize happens due to the internal Git locking mechanism.
Diffstat (limited to 'src/buildtool/execution_api/common/execution_api.hpp')
0 files changed, 0 insertions, 0 deletions