arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-27 21:16:50 +03:00
Code

Prevent rewriting core_version.h if content unchanged (#6414)

Browse Source
This commit is contained in:
Dirk O. Kaar 2019-08-12 22:28:19 +02:00 committed by Earle F. Philhower, III
parent adfc28d7d8
commit f2bac1cae9
1 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
tools/makecorever.py
View File

@ -35,9 +35,19 @@ def generate(path, platform_path, git_ver="ffffffff", git_desc="unspecified"):
except: except:
pass pass
text = "#define ARDUINO_ESP8266_GIT_VER 0x{}\n".format(git_ver)
text += "#define ARDUINO_ESP8266_GIT_DESC {}\n".format(git_desc)
try:
with open(path, "r") as inp:
old_text = inp.read()
if old_text == text:
return
except:
pass
with open(path, "w") as out: with open(path, "w") as out:
out.write("#define ARDUINO_ESP8266_GIT_VER 0x{}\n".format(git_ver)) out.write(text)
out.write("#define ARDUINO_ESP8266_GIT_DESC {}\n".format(git_desc))
if __name__ == "__main__": if __name__ == "__main__":