diff options
| author | Anthony Newnam <anthony.newnam@garmin.com> | 2011-01-09 17:31:57 -0800 |
|---|---|---|
| committer | Shawn O. Pearce <sop@google.com> | 2011-01-09 17:39:19 -0800 |
| commit | df14a70c4529821d7450303ec553a9f608af1656 (patch) | |
| tree | 4631409d5610fb103912687dc4f8321d9b46f3a4 /manifest_xml.py | |
| parent | f18cb761731a791bf1b9ee8c6308bfce5c9d3e62 (diff) | |
| download | git-repo-df14a70c4529821d7450303ec553a9f608af1656.tar.gz | |
Make path references OS independent
Change-Id: I5573995adfd52fd54bddc62d1d1ea78fb1328130
(cherry picked from commit b0f9a02394779c1c9422a9649412c9ac5fb0f12f)
Conflicts:
command.py
Diffstat (limited to 'manifest_xml.py')
| -rw-r--r-- | manifest_xml.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index 9d68f09f..0103cf55 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
| @@ -435,7 +435,7 @@ class XmlManifest(object): | |||
| 435 | worktree = None | 435 | worktree = None |
| 436 | gitdir = os.path.join(self.topdir, '%s.git' % name) | 436 | gitdir = os.path.join(self.topdir, '%s.git' % name) |
| 437 | else: | 437 | else: |
| 438 | worktree = os.path.join(self.topdir, path) | 438 | worktree = os.path.join(self.topdir, path).replace('\\', '/') |
| 439 | gitdir = os.path.join(self.repodir, 'projects/%s.git' % path) | 439 | gitdir = os.path.join(self.repodir, 'projects/%s.git' % path) |
| 440 | 440 | ||
| 441 | project = Project(manifest = self, | 441 | project = Project(manifest = self, |