diff --git a/repos/ports/run/gdb_monitor.run b/repos/ports/run/gdb_monitor.run index 2e696886a2..19163f8599 100644 --- a/repos/ports/run/gdb_monitor.run +++ b/repos/ports/run/gdb_monitor.run @@ -66,7 +66,7 @@ set config { - +