diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2025-01-15 14:39:24 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2025-01-17 16:05:30 +0100 |
| commit | bdc90b4fdda7beb9d30fc5d06149aa25c53553ad (patch) | |
| tree | f890263f2717b421a03bc8078c7f3d727d37f917 /bin/just-import-git.py | |
| parent | 81855ce4d6991ce89937fc6dac57b7b3277534a9 (diff) | |
| download | justbuild-bdc90b4fdda7beb9d30fc5d06149aa25c53553ad.tar.gz | |
just-import-git: Normalize 'subdir' path during repository rewrite
Diffstat (limited to 'bin/just-import-git.py')
| -rwxr-xr-x | bin/just-import-git.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/just-import-git.py b/bin/just-import-git.py index 288ea35b..4a070445 100755 --- a/bin/just-import-git.py +++ b/bin/just-import-git.py @@ -268,8 +268,8 @@ def rewrite_repo(repo_spec: Json, repo = assign[repo] elif repo.get("type") == "file": changes = {} - subdir = repo.get("path", ".") - if subdir not in ["", "."]: + subdir: str = os.path.normpath(repo.get("path", ".")) + if subdir != ".": changes["subdir"] = subdir repo = dict(remote, **changes) elif repo.get("type") == "distdir": |