diff options
author | Eric Engestrom <[email protected]> | 2017-10-25 14:04:35 +0100 |
---|---|---|
committer | Eric Engestrom <[email protected]> | 2017-10-27 13:38:37 +0100 |
commit | 7088622e5fb506b64c906b673a9af0feb9a5ba14 (patch) | |
tree | bcf6b8c47f47e9ebe43a7781e4016c2817127d04 /bin | |
parent | a41e2e9cf5f865f21e32cac2ed2e25dd21a05119 (diff) |
buildsys: move file regeneration logic to the script itself
Signed-off-by: Eric Engestrom <[email protected]>
Reviewed-by: Jordan Justen <[email protected]>
Reviewed-by: Dylan Baker <[email protected]>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/git_sha1_gen.py | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/bin/git_sha1_gen.py b/bin/git_sha1_gen.py index c75dba101ac..7b9267b59e9 100755 --- a/bin/git_sha1_gen.py +++ b/bin/git_sha1_gen.py @@ -6,6 +6,7 @@ The output of this script goes to stdout. """ +import argparse import os import os.path import subprocess @@ -27,10 +28,20 @@ def get_git_sha1(): git_sha1 = '' return git_sha1 +parser = argparse.ArgumentParser() +parser.add_argument('--output', help='File to write the #define in', + required=True) +args = parser.parse_args() git_sha1 = os.environ.get('MESA_GIT_SHA1_OVERRIDE', get_git_sha1())[:10] if git_sha1: git_sha1_h_in_path = os.path.join(os.path.dirname(sys.argv[0]), '..', 'src', 'git_sha1.h.in') with open(git_sha1_h_in_path , 'r') as git_sha1_h_in: - sys.stdout.write(git_sha1_h_in.read().replace('@VCS_TAG@', git_sha1)) + 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) |