diff options
| author | Oliver Reiche <oliver.reiche@huawei.com> | 2022-07-20 16:26:29 +0200 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2022-07-20 16:26:29 +0200 |
| commit | 3163a2d27808784d78c46f016cca31574a5d7450 (patch) | |
| tree | 8822c2d9bfad4b62b419d6b625f55c7e2d094c0d /bin/just-mr.py | |
| parent | 8529f632236ce114664212d7856806a1fef15f34 (diff) | |
| download | justbuild-3163a2d27808784d78c46f016cca31574a5d7450.tar.gz | |
just-mr: Git root must always be a directory
... and not only located on the file system. This change
enables the use of Git bundles as "non-local" repositories.
Diffstat (limited to 'bin/just-mr.py')
| -rwxr-xr-x | bin/just-mr.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/just-mr.py b/bin/just-mr.py index 48b3ae92..491c100c 100755 --- a/bin/just-mr.py +++ b/bin/just-mr.py @@ -97,7 +97,7 @@ def read_config(configfile): def git_root(*, upstream): if upstream in GIT_CHECKOUT_LOCATIONS: return GIT_CHECKOUT_LOCATIONS[upstream] - elif upstream and os.path.isabs(upstream): + elif upstream and os.path.isabs(upstream) and os.path.isdir(upstream): return upstream else: return os.path.join(ROOT, "git") |