From b33e144699617b177ff1b13475530d9981d58e60 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 30 Jan 2013 08:32:14 -0800 Subject: [PATCH] Add parallel option to mk_win_dist Signed-off-by: Leonardo de Moura --- scripts/mk_win_dist.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_win_dist.py b/scripts/mk_win_dist.py index dd50a3977..ac85a9c43 100644 --- a/scripts/mk_win_dist.py +++ b/scripts/mk_win_dist.py @@ -91,7 +91,7 @@ def check_build_dir(path): # Create a build directory using mk_make.py def mk_build_dir(path, x64): 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: opts.append('--java') if x64: