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

Windows build fix

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-11-20 09:57:05 +01:00
parent 9175cf195d
commit d9beb9e15a
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_win_dist.py
View file

@ -189,7 +189,7 @@ def mk_dist_dir():
def get_dist_path(x64): def get_dist_path(x64):
return get_z3_name(x64) return get_z3_name(x64)
def mk_zip(x64): def mk_zip_core(x64):
dist_path = get_dist_path(x64) dist_path = get_dist_path(x64)
old = os.getcwd() old = os.getcwd()
try: try: