Fix emoji branch compilation error

(cherry picked from commit 2407562366)
This commit is contained in:
Tomasz Chabora 2020-07-23 19:42:37 +02:00 committed by Rémi Verschelde
parent 2bcb9d2a04
commit 7e1312055b

View file

@ -86,7 +86,7 @@ def update_version(module_version_string=""):
gitfolder = module_folder[8:] gitfolder = module_folder[8:]
if os.path.isfile(os.path.join(gitfolder, "HEAD")): if os.path.isfile(os.path.join(gitfolder, "HEAD")):
head = open(os.path.join(gitfolder, "HEAD"), "r").readline().strip() head = open(os.path.join(gitfolder, "HEAD"), "r", encoding="utf8").readline().strip()
if head.startswith("ref: "): if head.startswith("ref: "):
head = os.path.join(gitfolder, head[5:]) head = os.path.join(gitfolder, head[5:])
if os.path.isfile(head): if os.path.isfile(head):