diff options
| -rw-r--r-- | gdb/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/record.c | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 8bb9685..4ba96ba 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,9 @@ 2018-11-08 Tom Tromey <tom@tromey.com> + * record.c (require_record_target): Upper-case "<TAB>". + +2018-11-08 Tom Tromey <tom@tromey.com> + * python/lib/gdb/command/pretty_printers.py (InfoPrettyPrinter.invoke): Don't indent "objfile" heading. diff --git a/gdb/record.c b/gdb/record.c index 2fd7782..fdc76f8 100644 --- a/gdb/record.c +++ b/gdb/record.c @@ -75,7 +75,7 @@ require_record_target (void) t = find_record_target (); if (t == NULL) error (_("No record target is currently active.\n" - "Use one of the \"target record-<tab><tab>\" commands first.")); + "Use one of the \"target record-<TAB><TAB>\" commands first.")); return t; } |