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) |