ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Increase the build system timeout when processing jobs to 5 minutes as initially designed

pull/755/head
Mihail Stoyanov 2014-12-02 18:00:06 +02:00
parent a88eaace6b
commit 45c1f43182
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
workspace_tools/toolchains/__init__.py
View File

@ -508,7 +508,7 @@ class mbedToolchain:
itr = 0 itr = 0
while True: while True:
itr += 1 itr += 1
if itr > 6000: if itr > 30000:
p.terminate() p.terminate()
p.join() p.join()
raise ToolException("Compile did not finish in 5 minutes") raise ToolException("Compile did not finish in 5 minutes")