From e69426448a5b84ea05fd64f86728b85bee84118e Mon Sep 17 00:00:00 2001 From: Craig Tiller Date: Tue, 25 Aug 2015 14:24:28 -0700 Subject: [PATCH] Windows builds need longer --- tools/run_tests/run_tests.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index beb43438e58..beb8805ff91 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -465,7 +465,8 @@ if len(build_configs) > 1: if platform.system() == 'Windows': def make_jobspec(cfg, targets): return jobset.JobSpec(['make.bat', 'CONFIG=%s' % cfg] + targets, - cwd='vsprojects', shell=True) + cwd='vsprojects', shell=True, + timeout_seconds=30*60) else: def make_jobspec(cfg, targets): return jobset.JobSpec([os.getenv('MAKE', 'make'),