diff --git a/repos/ports/run/gdb.inc b/repos/ports/run/gdb.inc index 37e3148aa9..0040a1687c 100644 --- a/repos/ports/run/gdb.inc +++ b/repos/ports/run/gdb.inc @@ -303,7 +303,7 @@ append config { - +