Configure default debug_speed

This commit is contained in:
Ivan Kravets
2021-01-28 13:52:11 +02:00
parent f8193b2419
commit 078a024931

View File

@ -176,6 +176,7 @@ def configure_initial_debug_options(platform, env_options):
tool_name,
tool_settings,
),
speed=env_options.get("debug_speed", tool_settings.get("speed")),
server=server_options,
)
return result