Merge pull request #40639 from KoBeWi/fix_emoji🎉🎉

Fix emoji branch compilation error
This commit is contained in:
Rémi Verschelde 2020-07-23 21:55:07 +02:00 committed by GitHub
commit f5091681b4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -92,7 +92,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):