mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2025-04-26 06:54:49 +00:00
update: Take into account the path attribute of projects
This commit is contained in:
parent
bc5bc17667
commit
b174f7a9a1
1 changed files with 3 additions and 2 deletions
|
@ -23,12 +23,13 @@ def manifest_get_commits(manifest):
|
||||||
remotes[child.attrib['name']] = child.attrib['fetch']
|
remotes[child.attrib['name']] = child.attrib['fetch']
|
||||||
if child.tag == 'project':
|
if child.tag == 'project':
|
||||||
name = child.attrib['name']
|
name = child.attrib['name']
|
||||||
|
path = child.attrib.get('path', name)
|
||||||
|
|
||||||
remote = child.attrib.get('remote')
|
remote = child.attrib.get('remote')
|
||||||
if remote:
|
if remote:
|
||||||
res[name] = ['FETCH_HEAD', [os.path.join(remotes[remote], name), child.attrib['revision']]]
|
res[path] = ['FETCH_HEAD', [os.path.join(remotes[remote], name), child.attrib['revision']]]
|
||||||
else:
|
else:
|
||||||
res[name] = [child.attrib["revision"], []]
|
res[path] = [child.attrib["revision"], []]
|
||||||
|
|
||||||
return res
|
return res
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue