diff options
author | 2015-08-25 14:24:28 -0700 | |
---|---|---|
committer | 2015-08-25 14:24:28 -0700 | |
commit | e69426448a5b84ea05fd64f86728b85bee84118e (patch) | |
tree | 43d8d356912c9071f813c611c00ec0e4eacd054b | |
parent | 7e3c3b2e8fe93f4f3fa79da2297d14c7eb7a04d9 (diff) |
Windows builds need longer
-rwxr-xr-x | tools/run_tests/run_tests.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index beb43438e5..beb8805ff9 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'), |