diff --git a/ports/run/gdb_monitor.run b/ports/run/gdb_monitor.run index 5631e8255..f2256f57e 100644 --- a/ports/run/gdb_monitor.run +++ b/ports/run/gdb_monitor.run @@ -51,7 +51,7 @@ set config { - + diff --git a/ports/run/gdb_monitor_interactive.run b/ports/run/gdb_monitor_interactive.run index b400a6f64..d84db0ad3 100644 --- a/ports/run/gdb_monitor_interactive.run +++ b/ports/run/gdb_monitor_interactive.run @@ -41,7 +41,7 @@ set config { - + diff --git a/ports/run/gdb_monitor_target_config.run b/ports/run/gdb_monitor_target_config.run index 75ac1e2a6..5f03c30af 100644 --- a/ports/run/gdb_monitor_target_config.run +++ b/ports/run/gdb_monitor_target_config.run @@ -40,7 +40,7 @@ set config { - + @@ -58,7 +58,7 @@ set config { - +