From f2bac1cae9a36d10e1a256edf1607d7ee59f5f5b Mon Sep 17 00:00:00 2001
From: "Dirk O. Kaar" <19971886+dok-net@users.noreply.github.com>
Date: Mon, 12 Aug 2019 22:28:19 +0200
Subject: [PATCH] Prevent rewriting core_version.h if content unchanged (#6414)

---
 tools/makecorever.py | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/tools/makecorever.py b/tools/makecorever.py
index b8fbda8ef..9a92b2ea7 100755
--- a/tools/makecorever.py
+++ b/tools/makecorever.py
@@ -35,9 +35,19 @@ def generate(path, platform_path, git_ver="ffffffff", git_desc="unspecified"):
     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__":