diff options
| author |  Craig Tiller <craig.tiller@gmail.com> | 2015-09-01 16:47:54 -0700 |
|---|---|---|
| committer | Craig Tiller <craig.tiller@gmail.com> | 2015-09-01 16:47:54 -0700 |
| commit | fc3c0c45a088be01bc1bd6dd5d483976fac83d4d (patch) | |
| tree | 43f47c2677e0dc189342caf55c52757a9a2edac6 | |
| parent | dfc3eeee5b226902f9e082df7885ec34d4de0ba2 (diff) | |
Hopefully speed up Jenkins builds
| -rwxr-xr-x | tools/run_tests/run_tests.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index 234e13b52b..1f1e7da01e 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -477,10 +477,14 @@ if len(build_configs) > 1: if platform.system() == 'Windows': def make_jobspec(cfg, targets): + extra_args = [] + if args.travis: + extra_args.extend(["/m", "/p:DebugSymbols=false", "/p:DebugType=None"]) return [ jobset.JobSpec(['vsprojects\\build.bat', 'vsprojects\\%s.sln' % target, - '/p:Configuration=%s' % _WINDOWS_CONFIG[cfg]], + '/p:Configuration=%s' % _WINDOWS_CONFIG[cfg]] + + extra_args, shell=True, timeout_seconds=90*60) for target in targets] else: |