mirror of
https://github.com/godotengine/godot.git
synced 2024-11-25 05:33:11 +00:00
Support Git worktrees in generation of hash header
This commit is contained in:
parent
2a04b18d37
commit
078ab7fe05
@ -111,6 +111,10 @@ def get_version_info(module_version_string="", silent=False):
|
||||
head = open(os.path.join(gitfolder, "HEAD"), "r", encoding="utf8").readline().strip()
|
||||
if head.startswith("ref: "):
|
||||
ref = head[5:]
|
||||
# If this directory is a Git worktree instead of a root clone.
|
||||
parts = gitfolder.split("/")
|
||||
if len(parts) > 2 and parts[-2] == "worktrees":
|
||||
gitfolder = "/".join(parts[0:-2])
|
||||
head = os.path.join(gitfolder, ref)
|
||||
packedrefs = os.path.join(gitfolder, "packed-refs")
|
||||
if os.path.isfile(head):
|
||||
|
Loading…
Reference in New Issue
Block a user