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 8bb9685701ad362b371f727d4ac5fa73d390a2cf..4ba96baeb431ed8f7d9e0b793f398d49950d85f0 100644 (file)
@@ -1,3 +1,7 @@
+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
index 2fd77824d4d407888d5a06cf841c9ba56fed0897..fdc76f80cc20374e679869f1c7e8045bfcdfc78c 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;
 }
This page took 0.030238 seconds and 4 git commands to generate.