This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
[commit] Add PR # 7200 to: Make "!" an alias for "shell".
- From: dje at google dot com (Doug Evans)
- To: gdb-patches at sourceware dot org
- Date: Wed, 14 Dec 2011 07:38:31 -0800 (PST)
- Subject: [commit] Add PR # 7200 to: Make "!" an alias for "shell".
Hi.
Just cleaning up an old ChangeLog entry of mine.
Committed to trunk and the 7.4 branch.
diff -u -p -r1.13614.2.7 ChangeLog
--- ChangeLog 14 Dec 2011 14:56:23 -0000 1.13614.2.7
+++ ChangeLog 14 Dec 2011 15:37:14 -0000
@@ -1104,7 +1104,7 @@
2011-11-14 Doug Evans <dje@google.com>
- Make "!" an alias for "shell".
+ PR gdb/7200 Make "!" an alias for "shell".
* NEWS: Add mention.
* cli/cli-cmds.c (init_cli_cmds): Remove xdb_commands condition on
adding "!" command, always add it.