mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
Bugfix in windows dist scripts
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
89c43676d5
commit
71f2d358ef
|
@ -39,7 +39,7 @@ def mk_dir(d):
|
|||
os.makedirs(d)
|
||||
|
||||
def set_build_dir(path):
|
||||
global BUILD_DIR
|
||||
global BUILD_DIR, BUILD_X86_DIR, BUILD_X64_DIR
|
||||
BUILD_DIR = path
|
||||
BUILD_X86_DIR = os.path.join(path, 'x86')
|
||||
BUILD_X64_DIR = os.path.join(path, 'x64')
|
||||
|
|
Loading…
Reference in a new issue