diff --git a/tools/makecorever.py b/tools/makecorever.py index b8fbda8ef7..9a92b2ea70 100755 --- a/tools/makecorever.py +++ b/tools/makecorever.py @@ -35,9 +35,19 @@ def git(*args): except: 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: - out.write("#define ARDUINO_ESP8266_GIT_VER 0x{}\n".format(git_ver)) - out.write("#define ARDUINO_ESP8266_GIT_DESC {}\n".format(git_desc)) + out.write(text) if __name__ == "__main__":