diff options
Diffstat (limited to 'manifest_xml.py')
| -rw-r--r-- | manifest_xml.py | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index 2d476748..0e899e5a 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
| @@ -1305,6 +1305,14 @@ https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md | |||
| 1305 | 1305 | ||
| 1306 | nodes = [] | 1306 | nodes = [] |
| 1307 | for node in manifest.childNodes: | 1307 | for node in manifest.childNodes: |
| 1308 | if ( | ||
| 1309 | parent_node | ||
| 1310 | and node.nodeName in ("include", "project") | ||
| 1311 | and not node.hasAttribute("revision") | ||
| 1312 | ): | ||
| 1313 | node.setAttribute( | ||
| 1314 | "revision", parent_node.getAttribute("revision") | ||
| 1315 | ) | ||
| 1308 | if node.nodeName == "include": | 1316 | if node.nodeName == "include": |
| 1309 | name = self._reqatt(node, "name") | 1317 | name = self._reqatt(node, "name") |
| 1310 | if restrict_includes: | 1318 | if restrict_includes: |
| @@ -1349,14 +1357,6 @@ https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md | |||
| 1349 | node.getAttribute("groups") | 1357 | node.getAttribute("groups") |
| 1350 | ) | 1358 | ) |
| 1351 | node.setAttribute("groups", ",".join(sorted(nodeGroups))) | 1359 | node.setAttribute("groups", ",".join(sorted(nodeGroups))) |
| 1352 | if ( | ||
| 1353 | parent_node | ||
| 1354 | and node.nodeName == "project" | ||
| 1355 | and not node.hasAttribute("revision") | ||
| 1356 | ): | ||
| 1357 | node.setAttribute( | ||
| 1358 | "revision", parent_node.getAttribute("revision") | ||
| 1359 | ) | ||
| 1360 | nodes.append(node) | 1360 | nodes.append(node) |
| 1361 | return nodes | 1361 | return nodes |
| 1362 | 1362 | ||
