diff --git a/src/build_manifest.py b/src/build_manifest.py index 4a6b269c6677a4b6ccc359968bcb7b03c98d791a..bb762fe12af2a25b2d4dc8bab7cc5a973072fe3a 100755 --- a/src/build_manifest.py +++ b/src/build_manifest.py @@ -54,6 +54,9 @@ if __name__ == "__main__": if args.remote: attributes["remote"] = args.remotename + if "revision" in child.attrib: + attributes["revision"] = child.attrib["revision"] + ET.SubElement(xmlout, 'project', attrib=attributes) xmlstr = minidom.parseString(ET.tostring(xmlout)).toprettyxml(indent=" ", encoding="UTF-8")