* fixed generation of .gdbinit file (esp32c3 dbg issue)

This commit is contained in:
Martin Vychodil 2020-12-30 16:40:48 +01:00
parent 9de1591660
commit 7bbe2a235f

View File

@ -98,10 +98,10 @@ def action_extensions(base_actions, project_path):
def create_local_gdbinit(gdbinit, elf_file):
with open(gdbinit, 'w') as f:
f.write('target remote :3333\n')
if os.name == 'nt':
elf_file = elf_file.replace('\\','\\\\')
f.write('symbol-file {}\n'.format(elf_file))
f.write('file {}\n'.format(elf_file))
f.write('target remote :3333\n')
f.write('mon reset halt\n')
f.write('flushregs\n')
f.write('thb app_main\n')