From b82211924fede547eee672528e88b79d195eced7 Mon Sep 17 00:00:00 2001 From: Harald Frostel Date: Sat, 3 Oct 2020 09:00:35 +0200 Subject: [PATCH] Prevent rewriting Updater_Signing.h if content unchanged --- tools/signing.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/tools/signing.py b/tools/signing.py index 8fef38a112..40405288c9 100755 --- a/tools/signing.py +++ b/tools/signing.py @@ -74,6 +74,13 @@ def main(): outdir = os.path.dirname(args.out) if not os.path.exists(outdir): os.makedirs(outdir) + try: + with open(args.out, "r") as inp: + old_val = inp.read() + if old_val == val: + return + except Exception: + pass with open(args.out, "w") as f: f.write(val) return 0