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

build fix

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-07-29 00:55:05 +01:00
parent 5f449b5c0d
commit 7fd931d480
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_unix_dist.py
View file

@ -110,7 +110,7 @@ def mk_build_dir(path):
opts.append('--java') opts.append('--java')
if GIT_HASH: if GIT_HASH:
opts.append('--githash=%s' % mk_util.git_hash()) opts.append('--githash=%s' % mk_util.git_hash())
opts.append('--git-describe')) opts.append('--git-describe')
if subprocess.call(opts) != 0: if subprocess.call(opts) != 0:
raise MKException("Failed to generate build directory at '%s'" % path) raise MKException("Failed to generate build directory at '%s'" % path)