Add PR # 7200 to: Make "!" an alias for "shell".

This commit is contained in:
Doug Evans 2011-12-14 15:31:55 +00:00
parent dd110abf04
commit 37acd67cf7

View file

@ -1097,7 +1097,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.