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

Add parallel option to mk_win_dist

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-01-30 08:32:14 -08:00
parent 3ae01cf619
commit b33e144699
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

@ -91,7 +91,7 @@ def check_build_dir(path):
# Create a build directory using mk_make.py # Create a build directory using mk_make.py
def mk_build_dir(path, x64): def mk_build_dir(path, x64):
if not check_build_dir(path) or FORCE_MK: if not check_build_dir(path) or FORCE_MK:
opts = ["python", os.path.join('scripts', 'mk_make.py'), "-b", path] opts = ["python", os.path.join('scripts', 'mk_make.py'), "--parallel=24", "-b", path]
if JAVA_ENABLED: if JAVA_ENABLED:
opts.append('--java') opts.append('--java')
if x64: if x64: