diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-07-26 16:38:20 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-07-26 16:38:20 +0200 |
| commit | b14d915e5812fe0a03a7c5caada99240415d7b0b (patch) | |
| tree | 4feb5507f984f712ae31328e98ca94911e8e0d6c /bin/just-mr.py | |
| parent | 4d5dac7ae48762a6750bbff5a8af9b7512d1e361 (diff) | |
| download | justbuild-b14d915e5812fe0a03a7c5caada99240415d7b0b.tar.gz | |
Fix just-mr bug: ensure git cache folder present for git ops
Diffstat (limited to 'bin/just-mr.py')
| -rwxr-xr-x | bin/just-mr.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/just-mr.py b/bin/just-mr.py index 28c9249e..a9c4db8e 100755 --- a/bin/just-mr.py +++ b/bin/just-mr.py @@ -342,6 +342,8 @@ def archive_checkout(desc, repo_type="archive", *, fetch_only=False): if (not ALWAYS_FILE) and os.path.exists(tree_id_file): with open(tree_id_file) as f: archive_tree_id = f.read() + # ensure git cache exists + ensure_git(upstream=None) return [ "git tree", git_subtree(tree=archive_tree_id, @@ -494,6 +496,8 @@ def distdir_checkout(desc, repos): if (not ALWAYS_FILE) and os.path.exists(tree_id_file): with open(tree_id_file) as f: distdir_tree_id = f.read() + # ensure git cache exists + ensure_git(upstream=None) return [ "git tree", git_subtree(tree=distdir_tree_id, subdir=".", upstream=None), |