diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index beb43438e581bd5ca02136d86110be19d16ea934..beb8805ff919ad872b6696cc9f0a36206af1a409 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'),