|
|
@@ -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('') |