From 5e73348263ef10458a950a0022dabaec803f46a6 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Thu, 11 Jul 2019 14:09:15 +0300 Subject: [PATCH] Print debug tool name in debugging session --- platformio/commands/debug/client.py | 1 + 1 file changed, 1 insertion(+) diff --git a/platformio/commands/debug/client.py b/platformio/commands/debug/client.py index f6d403bb..ec0bb3d8 100644 --- a/platformio/commands/debug/client.py +++ b/platformio/commands/debug/client.py @@ -157,6 +157,7 @@ class GDBClient(BaseProcess): # pylint: disable=too-many-instance-attributes banner = [ "echo PlatformIO Unified Debugger -> http://bit.ly/pio-debug\\n", + "echo PlatformIO: debug_tool = %s\\n" % self.debug_options['tool'], "echo PlatformIO: Initializing remote target...\\n" ] footer = ["echo %s\\n" % self.INIT_COMPLETED_BANNER]