diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index 4e71e3e4b64c76fb431fb504b96273ee6e6b25cc..a05fbe806a8b0452a261b1419c11971b29b9bab8 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 [