Capitalize "<TAB>" in require_record_target error
authorTom Tromey <tom@tromey.com>
Wed, 7 Nov 2018 03:12:36 +0000 (20:12 -0700)
committerTom Tromey <tom@tromey.com>
Thu, 8 Nov 2018 23:17:01 +0000 (16:17 -0700)
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>".

gdb/ChangeLog
gdb/record.c

index 8bb9685..4ba96ba 100644 (file)
@@ -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.
 
index 2fd7782..fdc76f8 100644 (file)
@@ -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;
 }