diff options
author | 2015-10-07 14:09:18 -0700 | |
---|---|---|
committer | 2015-10-07 14:13:23 -0700 | |
commit | 47eeb2b28c8c6b7aa7551381cf80ef0c28541775 (patch) | |
tree | 01cd359d1f893566ce12e84bd5d3d557398a6397 | |
parent | 7329b948086b0402f3791455df200ea816bb8991 (diff) |
reduce parallelism for windows build
-rwxr-xr-x | tools/run_tests/run_tests.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index 4e71e3e4b6..a05fbe806a 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -624,7 +624,9 @@ if platform.system() == 'Windows': def make_jobspec(cfg, targets, makefile='Makefile'): extra_args = [] # better do parallel compilation - extra_args.extend(["/m"]) + # empirically /m:2 gives the best performance/price and should prevent + # overloading the windows workers. + extra_args.extend(["/m:2"]) # disable PDB generation: it's broken, and we don't need it during CI extra_args.extend(["/p:Jenkins=true"]) return [ |