diff options
| author | Tom Tromey <tom@tromey.com> | 2018-11-06 20:12:36 -0700 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2018-11-08 16:17:01 -0700 |
| commit | 9c710e1157caf7a2c3e4c816c72f88360f3e859c (patch) | |
| tree | 0c2dbef87c437c57c14905880ef26ce8a197355d /gdb | |
| parent | 3c6618cd22d7f188b7c1a3c87edc8ed2b93fbe41 (diff) | |
| download | gdb-9c710e1157caf7a2c3e4c816c72f88360f3e859c.zip gdb-9c710e1157caf7a2c3e4c816c72f88360f3e859c.tar.gz gdb-9c710e1157caf7a2c3e4c816c72f88360f3e859c.tar.bz2 | |
Capitalize "<TAB>" in require_record_target error
This changes require_record_target to say "<TAB>" rather than "<tab>".
I think capitalizing here is a bit more GNU-ish, based on Emacs usage
and one other case in gdb.
gdb/ChangeLog
2018-11-08 Tom Tromey <tom@tromey.com>
* record.c (require_record_target): Upper-case "<TAB>".
Diffstat (limited to 'gdb')
| -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; } |