diff options
| author | Dan Willemsen <dwillemsen@google.com> | 2015-08-17 15:29:10 -0700 |
|---|---|---|
| committer | Dan Willemsen <dwillemsen@google.com> | 2015-08-17 15:30:27 -0700 |
| commit | 884092225de5cf08aa453d025e0513dc2a42dce4 (patch) | |
| tree | 5a1b723141a815c50d88203aa81f0241d3813e47 | |
| parent | 5d0c3a614edc3f3d5967cfc07c7981da7013ea91 (diff) | |
| download | git-repo-884092225de5cf08aa453d025e0513dc2a42dce4.tar.gz | |
Copy clone-depth in `repo manifest`
This argument wasn't being copied, which caused syncs from generated
manifests to pull down too much of the git history.
Change-Id: I269bab788d4557267c081628b3f8c6aec7744e81
| -rw-r--r-- | manifest_xml.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index 7e719600..6dc01a47 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
| @@ -303,6 +303,9 @@ class XmlManifest(object): | |||
| 303 | if p.sync_s: | 303 | if p.sync_s: |
| 304 | e.setAttribute('sync-s', 'true') | 304 | e.setAttribute('sync-s', 'true') |
| 305 | 305 | ||
| 306 | if p.clone_depth: | ||
| 307 | e.setAttribute('clone-depth', str(p.clone_depth)) | ||
| 308 | |||
| 306 | if p.subprojects: | 309 | if p.subprojects: |
| 307 | subprojects = set(subp.name for subp in p.subprojects) | 310 | subprojects = set(subp.name for subp in p.subprojects) |
| 308 | output_projects(p, e, list(sorted(subprojects))) | 311 | output_projects(p, e, list(sorted(subprojects))) |