Command names: make them case sensitive
authorJerome Guitton <guitton@adacore.com>
Fri, 27 Jan 2017 16:06:32 +0000 (17:06 +0100)
committerJerome Guitton <guitton@adacore.com>
Wed, 8 Feb 2017 17:57:31 +0000 (18:57 +0100)
commit3d7b173c29900879c9a5958dd6029fd36666e57c
tree7736acaf6cefc5c26bc174d8c9e6f8d87d78a4ef
parentcc16242794b13a5f942badcfffb03be5d81f14f7
Command names: make them case sensitive

Case-insensitive search for command names is an obscure undocumented
feature, which seems to be unused, is not tested and not quite
consistent. Remove it.

gdb/ChangeLog:

* cli-decode.c (lookup_cmd_1, lookup_cmd_composition):
Remove case-insensitive search.
gdb/ChangeLog
gdb/cli/cli-decode.c
This page took 0.025315 seconds and 4 git commands to generate.