Windows builds need longer

10 years ago · e69426448a
parent 7e3c3b2e8f
commit e69426448a
1 changed files with 2 additions and 1 deletions
--- 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'),