mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

fix for --get-describe

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2017-03-24 15:53:46 +00:00
parent f8d022a180
commit 3bbe5eceeb
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scripts/mk_util.py
View file

@ -2685,8 +2685,8 @@ def get_full_version_string(major, minor, build, revision):
if GIT_HASH: if GIT_HASH:
res += " " + GIT_HASH res += " " + GIT_HASH
if GIT_DESCRIBE: if GIT_DESCRIBE:
branch = check_output(['git', 'rev-parse', '--abbrev-ref', 'HEAD', '--long']) branch = check_output(['git', 'rev-parse', '--abbrev-ref', 'HEAD'])
res += " master " + check_output(['git', 'describe']) res += " " + branch + " " + check_output(['git', 'describe'])
return '"' + res + '"' return '"' + res + '"'
# Update files with the version number # Update files with the version number