diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-01-16 15:51:01 +0100 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-01-16 15:59:29 +0100 |
commit | 48ec5ecccd5eafce2f5f1cea80bfb0601d3d688d (patch) | |
tree | d23f5204221e5e85f01e71ff13f225db4010b775 /src/buildtool/file_system/git_repo.hpp | |
parent | 453f48b67d209f5c2b20040b6902f54fa71d7064 (diff) | |
download | justbuild-48ec5ecccd5eafce2f5f1cea80bfb0601d3d688d.tar.gz |
just-mr fetch: drop redundant directory creation
just-mr fetch is supposed to fetch to the first (in search order)
distdir that is an existing directory (and error out if no such
directory exists). So, once a directory is found, there is no need
to create it---we already verified it is an existing directory.
Diffstat (limited to 'src/buildtool/file_system/git_repo.hpp')
0 files changed, 0 insertions, 0 deletions