diff --git a/workspace_tools/toolchains/__init__.py b/workspace_tools/toolchains/__init__.py index daaa09c617..e943133821 100644 --- a/workspace_tools/toolchains/__init__.py +++ b/workspace_tools/toolchains/__init__.py @@ -508,7 +508,7 @@ class mbedToolchain: itr = 0 while True: itr += 1 - if itr > 6000: + if itr > 30000: p.terminate() p.join() raise ToolException("Compile did not finish in 5 minutes")