diff options
Diffstat (limited to 'manifest_xml.py')
-rw-r--r-- | manifest_xml.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index cdab31e6..347ae5ef 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
@@ -2056,7 +2056,12 @@ https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md | |||
2056 | path = path.rstrip("/") | 2056 | path = path.rstrip("/") |
2057 | name = name.rstrip("/") | 2057 | name = name.rstrip("/") |
2058 | relpath = self._JoinRelpath(parent.relpath, path) | 2058 | relpath = self._JoinRelpath(parent.relpath, path) |
2059 | gitdir = os.path.join(parent.gitdir, "subprojects", "%s.git" % path) | 2059 | subprojects = os.path.join(parent.gitdir, "subprojects", f"{path}.git") |
2060 | modules = os.path.join(parent.gitdir, "modules", path) | ||
2061 | if platform_utils.isdir(subprojects): | ||
2062 | gitdir = subprojects | ||
2063 | else: | ||
2064 | gitdir = modules | ||
2060 | objdir = os.path.join( | 2065 | objdir = os.path.join( |
2061 | parent.gitdir, "subproject-objects", "%s.git" % name | 2066 | parent.gitdir, "subproject-objects", "%s.git" % name |
2062 | ) | 2067 | ) |