commit c9e38614204bfd29e26dc1c2fe6d398c5494c53c
author Scott Fan <fancp2007@gmail.com> Fri Nov 23 19:54:06 2012 +0800
committer Scott Fan <fancp2007@gmail.com> Fri Nov 23 20:17:57 2012 +0800
tree 7c9582298bdef9920d9435a0edab906f6db9abba
parent 3f5ea0b18207a81f58595b1a2e10e5ffb784b74f

Allow user to specify git path for mirror manifest.

In some case, especially local_manifest.xml for mirror, user may want to
specify a different gitdir path.

Change-Id: Ib0a639e9014811701fbc4eccc3b03330d9b9f4b2
Signed-off-by: Scott Fan <fancp2007@gmail.com>

manifest_xml.py

diff --git a/manifest_xml.py b/manifest_xml.py
index 122393c..3cac7b2 100644
--- a/manifest_xml.py
+++ b/manifest_xml.py
@@ -619,7 +619,7 @@
 
     if self.IsMirror:
       worktree = None
-      gitdir = os.path.join(self.topdir, '%s.git' % name)
+      gitdir = os.path.join(self.topdir, '%s.git' % path)
     else:
       worktree = os.path.join(self.topdir, path).replace('\\', '/')
       gitdir = os.path.join(self.repodir, 'projects/%s.git' % path)