diff options
Diffstat (limited to 'project.py')
-rw-r--r-- | project.py | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -2990,6 +2990,17 @@ class Project: | |||
2990 | self.config.SetBoolean( | 2990 | self.config.SetBoolean( |
2991 | "core.bare", True if self.manifest.IsMirror else None | 2991 | "core.bare", True if self.manifest.IsMirror else None |
2992 | ) | 2992 | ) |
2993 | |||
2994 | if not init_obj_dir: | ||
2995 | # The project might be shared (obj_dir already initialized), but | ||
2996 | # such information is not available here. Instead of passing it, | ||
2997 | # set it as shared, and rely to be unset down the execution | ||
2998 | # path. | ||
2999 | if git_require((2, 7, 0)): | ||
3000 | self.EnableRepositoryExtension("preciousObjects") | ||
3001 | else: | ||
3002 | self.config.SetString("gc.pruneExpire", "never") | ||
3003 | |||
2993 | except Exception: | 3004 | except Exception: |
2994 | if init_obj_dir and os.path.exists(self.objdir): | 3005 | if init_obj_dir and os.path.exists(self.objdir): |
2995 | platform_utils.rmtree(self.objdir) | 3006 | platform_utils.rmtree(self.objdir) |