diff options
Diffstat (limited to 'manifest_xml.py')
-rw-r--r-- | manifest_xml.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index 4eef748f..51d51b95 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
@@ -690,6 +690,10 @@ class XmlManifest(object): | |||
690 | default_groups = ['all', 'name:%s' % name, 'path:%s' % relpath] | 690 | default_groups = ['all', 'name:%s' % name, 'path:%s' % relpath] |
691 | groups.extend(set(default_groups).difference(groups)) | 691 | groups.extend(set(default_groups).difference(groups)) |
692 | 692 | ||
693 | if self.IsMirror and node.hasAttribute('force-path'): | ||
694 | if node.getAttribute('force-path').lower() in ("yes", "true", "1"): | ||
695 | gitdir = os.path.join(self.topdir, '%s.git' % path) | ||
696 | |||
693 | project = Project(manifest = self, | 697 | project = Project(manifest = self, |
694 | name = name, | 698 | name = name, |
695 | remote = remote.ToRemoteSpec(name), | 699 | remote = remote.ToRemoteSpec(name), |