diff --git a/ports/run/gdb_monitor.run b/ports/run/gdb_monitor.run index 8aff604830..5631e82555 100644 --- a/ports/run/gdb_monitor.run +++ b/ports/run/gdb_monitor.run @@ -65,7 +65,7 @@ set config { - + diff --git a/ports/run/gdb_monitor_interactive.run b/ports/run/gdb_monitor_interactive.run index e367b746ab..b400a6f64f 100644 --- a/ports/run/gdb_monitor_interactive.run +++ b/ports/run/gdb_monitor_interactive.run @@ -55,7 +55,7 @@ set config { - +