diff options
| -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 122102ea05..eadf09f192 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -584,7 +584,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 [ |