diff options
| -rwxr-xr-x | tools/run_tests/run_tests.py | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index 03a873c904..8f6511b1f8 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -478,11 +478,10 @@ if len(build_configs) > 1: if platform.system() == 'Windows': def make_jobspec(cfg, targets): extra_args = [] - if args.travis: - # better do parallel compilation - extra_args.extend(["/m"]) - # disable PDB generation: it's broken, and we don't need it during CI - extra_args.extend(["/p:GenerateDebugInformation=false", "/p:DebugInformationFormat=None"]) + # better do parallel compilation + extra_args.extend(["/m"]) + # disable PDB generation: it's broken, and we don't need it during CI + extra_args.extend(["/p:GenerateDebugInformation=false", "/p:DebugInformationFormat=None"]) return [ jobset.JobSpec(['vsprojects\\build.bat', 'vsprojects\\%s.sln' % target, |