From: Eric Engestrom Date: Tue, 14 Aug 2018 17:02:04 +0000 (+0100) Subject: bin: split `write_if_different()` out X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c5dd02287fdfc97c2560a53e909fac8046282a40;p=mesa.git bin: split `write_if_different()` out Signed-off-by: Eric Engestrom Reviewed-by: Dylan Baker --- diff --git a/bin/git_sha1_gen.py b/bin/git_sha1_gen.py index 0ce839c98be..77c5fa9d295 100755 --- a/bin/git_sha1_gen.py +++ b/bin/git_sha1_gen.py @@ -28,6 +28,18 @@ def get_git_sha1(): git_sha1 = '' return git_sha1 +def write_if_different(contents): + """ + Avoid touching the output file if it doesn't need modifications + Useful to avoid triggering rebuilds when nothing has changed. + """ + if os.path.isfile(args.output): + with open(args.output, 'r') as file: + if file.read() == contents: + return + with open(args.output, 'w') as file: + file.write(contents) + parser = argparse.ArgumentParser() parser.add_argument('--output', help='File to write the #define in', required=True) @@ -39,11 +51,6 @@ if git_sha1: '..', 'src', 'git_sha1.h.in') with open(git_sha1_h_in_path, 'r') as git_sha1_h_in: new_sha1 = git_sha1_h_in.read().replace('@VCS_TAG@', git_sha1) - if os.path.isfile(args.output): - with open(args.output, 'r') as git_sha1_h: - if git_sha1_h.read() == new_sha1: - quit() - with open(args.output, 'w') as git_sha1_h: - git_sha1_h.write(new_sha1) + write_if_different(new_sha1) else: - open(args.output, 'w').close() + write_if_different('')