From 8b8639e833b9ddca90a823873f32ea5d4d07e99c Mon Sep 17 00:00:00 2001 From: Harald Date: Sat, 3 Oct 2020 21:47:30 +0200 Subject: [PATCH] Prevent rewriting Updater_Signing.h if content unchanged (#7627) --- tools/signing.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/tools/signing.py b/tools/signing.py index 8fef38a11..40405288c 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