---
 migen/build/tools.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/migen/build/tools.py b/migen/build/tools.py
index 9e0880d..c7bebae 100644
--- a/migen/build/tools.py
+++ b/migen/build/tools.py
@@ -23,6 +23,9 @@ def write_to_file(filename, contents, force_unix=False):
     newline = None
     if force_unix:
         newline = "\n"
+    if os.path.exists(filename):
+        if open(filename, "r").read() == contents:
+            return
     with open(filename, "w", newline=newline) as f:
         f.write(contents)
 
-- 
2.8.0.rc3.226.g39d4020

_______________________________________________
M-Labs devel mailing list
https://ssl.serverraum.org/lists/listinfo/devel

Reply via email to