commit 300c6ffbbb193d0a5da399c32fb8c2e4bf309ae9
author Scott Fan <fancp2007@gmail.com> Tue Jan 15 20:08:26 2013 +0800
committer Scott Fan <fancp2007@gmail.com> Tue Jan 15 20:08:26 2013 +0800
tree 1b3f2de23d10e916d8d537c02381133497d6b325
parent 0290cad5db0eef3b15eb976dd7a017837e36c8b7

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 1300e91..787b5d7 100644
--- a/manifest_xml.py
+++ b/manifest_xml.py
@@ -704,7 +704,7 @@
     relpath = path
     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)