diff options
| author | Eric Engestrom <[email protected]> | 2018-08-14 18:04:58 +0100 |
|---|---|---|
| committer | Eric Engestrom <[email protected]> | 2018-08-16 17:38:31 +0100 |
| commit | bc8abc1adf0355b54e552c0944b8742d237bd1b0 (patch) | |
| tree | f9fa0ddc2ef9bc2804a51bfa1770d4c546679dff /bin/git_sha1_gen.py | |
| parent | 471f708ed6f4787813d0656c2457a6fc5738ddfc (diff) | |
bin: always define MESA_GIT_SHA1 to make it directly usable in code
Signed-off-by: Eric Engestrom <[email protected]>
Reviewed-by: Emil Velikov <[email protected]>
Diffstat (limited to 'bin/git_sha1_gen.py')
| -rwxr-xr-x | bin/git_sha1_gen.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/git_sha1_gen.py b/bin/git_sha1_gen.py index c6240662df3..7741159816b 100755 --- a/bin/git_sha1_gen.py +++ b/bin/git_sha1_gen.py @@ -47,6 +47,6 @@ args = parser.parse_args() git_sha1 = os.environ.get('MESA_GIT_SHA1_OVERRIDE', get_git_sha1())[:10] if git_sha1: - write_if_different('#define MESA_GIT_SHA1 "git-' + git_sha1 + '"') + write_if_different('#define MESA_GIT_SHA1 " (git-' + git_sha1 + ')"') else: - write_if_different('') + write_if_different('#define MESA_GIT_SHA1 ""') |