| commit | 6d35d676dbaadd96b785f188cf04563bf1165831 | [log] [tgz] |
|---|---|---|
| author | Dan Willemsen <dwillemsen@google.com> | Wed Aug 19 17:50:15 2015 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Aug 19 17:50:15 2015 +0000 |
| tree | aedba96790f8496756bd67c81544bd19fe5a0da7 | |
| parent | bdb5271de3fafb9fbec3fde0e8e95e5b061ab0f5 [diff] | |
| parent | 884092225de5cf08aa453d025e0513dc2a42dce4 [diff] |
Merge "Copy clone-depth in `repo manifest`"
diff --git a/manifest_xml.py b/manifest_xml.py index 7e71960..6dc01a4 100644 --- a/manifest_xml.py +++ b/manifest_xml.py
@@ -303,6 +303,9 @@ if p.sync_s: e.setAttribute('sync-s', 'true') + if p.clone_depth: + e.setAttribute('clone-depth', str(p.clone_depth)) + if p.subprojects: subprojects = set(subp.name for subp in p.subprojects) output_projects(p, e, list(sorted(subprojects)))