From 37acd67cf73be4c48718a6034b49e6a09eaca98d Mon Sep 17 00:00:00 2001 From: Doug Evans Date: Wed, 14 Dec 2011 15:31:55 +0000 Subject: [PATCH] Add PR # 7200 to: Make "!" an alias for "shell". --- gdb/ChangeLog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index ff2df39..13b7ecf 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1097,7 +1097,7 @@ 2011-11-14 Doug Evans - 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. -- 2.7.4