--- 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