diff options
| -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 a3effd11..fe09f498 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
| @@ -155,7 +155,7 @@ class XmlManifest(object): | |||
| 155 | # normal repo settings live in the manifestProject which we just setup | 155 | # normal repo settings live in the manifestProject which we just setup |
| 156 | # above, so we couldn't easily query before that. We assume Project() | 156 | # above, so we couldn't easily query before that. We assume Project() |
| 157 | # init doesn't care if this changes afterwards. | 157 | # init doesn't care if this changes afterwards. |
| 158 | if mp.config.GetBoolean('repo.worktree'): | 158 | if os.path.exists(mp.gitdir) and mp.config.GetBoolean('repo.worktree'): |
| 159 | mp.use_git_worktrees = True | 159 | mp.use_git_worktrees = True |
| 160 | 160 | ||
| 161 | self._Unload() | 161 | self._Unload() |