commit 884092225de5cf08aa453d025e0513dc2a42dce4
author Dan Willemsen <dwillemsen@google.com> Mon Aug 17 15:29:10 2015 -0700
committer Dan Willemsen <dwillemsen@google.com> Mon Aug 17 15:30:27 2015 -0700
tree 5a1b723141a815c50d88203aa81f0241d3813e47
parent 5d0c3a614edc3f3d5967cfc07c7981da7013ea91

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

manifest_xml.py

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