mirrors/gstreamer
mirrors/gstreamer
1
1
Fork 0
mirror of https://gitlab.freedesktop.org/gstreamer/gstreamer.git synced 2024-10-02 08:42:32 +00:00
Code Issues 1 Projects Releases Wiki Activity

build_manifest: Add the "path" attribute to projects

Browse source 
When the local path and the name are different, both have to be
specified, it is now required since we add the '.git' to the name.
This commit is contained in:
Thibault Saunier 2018-11-14 10:20:16 -03:00
parent 10ffa6f1af
commit 2414895a53
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gitlab/build_manifest.py
View file

@ -278,11 +278,11 @@ if __name__ == "__main__":
sys.exit(0)
projects: str = ''
project_template: str = " <project name=\"{}.git\" remote=\"{}\" revision=\"{}\" />\n"
project_template: str = " <project path=\"%(name)s\" name=\"%(name)s.git\" remote=\"%(remote)s\" revision=\"%(revision)s\" />\n"
for module in GSTREAMER_MODULES:
print(f"Checking {module}:", end=' ')
remote, revision = find_repository_sha(module, current_branch)
projects += project_template.format(module[0], remote, revision)
projects += project_template % {'name': module[0], 'remote': remote, 'revision': revision}
with open(options.output, mode='w') as manifest:
print(MANIFEST_TEMPLATE.format(user_remote_url, projects), file=manifest)