Merge pull request #3068 from ctiller/make-might-take-a-very-long-time

Windows builds need longer
9 years ago · 9a26584be9
parent 6e86944905 e69426448a
commit 9a26584be9
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'),