diff options
Diffstat (limited to 'manifest_xml.py')
| -rw-r--r-- | manifest_xml.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index eb8a98cc..e32551c8 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
| @@ -403,6 +403,8 @@ https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md | |||
| 403 | revision = self.remotes[p.remote.orig_name].revision or d.revisionExpr | 403 | revision = self.remotes[p.remote.orig_name].revision or d.revisionExpr |
| 404 | if not revision or revision != p.revisionExpr: | 404 | if not revision or revision != p.revisionExpr: |
| 405 | e.setAttribute('revision', p.revisionExpr) | 405 | e.setAttribute('revision', p.revisionExpr) |
| 406 | elif p.revisionId: | ||
| 407 | e.setAttribute('revision', p.revisionId) | ||
| 406 | if (p.upstream and (p.upstream != p.revisionExpr or | 408 | if (p.upstream and (p.upstream != p.revisionExpr or |
| 407 | p.upstream != d.upstreamExpr)): | 409 | p.upstream != d.upstreamExpr)): |
| 408 | e.setAttribute('upstream', p.upstream) | 410 | e.setAttribute('upstream', p.upstream) |
