diff options
author | 2015-09-03 14:35:18 -0700 | |
---|---|---|
committer | 2015-09-03 14:35:18 -0700 | |
commit | b5391e1ae68fefd2caa72ca694152da48282174e (patch) | |
tree | 838b66caf12b036b9d6c1282c5b8e6f2fb6f40ae /tools | |
parent | b11177b26b155a3f02b5b17b209ed5a4c5d1a6a9 (diff) |
run tests on my desktop should be parallel too
Diffstat (limited to 'tools')
-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, |