tree afe702279d9f9812321ca5fb2e0a48d27aaaabb8
parent cbd24a9f11feea879c2f1857053854ef329efbd8
author Andrew Burgess <aburgess@redhat.com> 1683641931 +0100
committer Andrew Burgess <aburgess@redhat.com> 1683885265 +0100

gdb: fix error message for $_gdb_maint_setting

I spotted this behaviour:

  (gdb) p $_gdb_maint_setting("xxx")
  First argument of $_gdb_maint_setting must be a valid setting of the 'show' command.

Notice that GDB claims I need to use a setting from the 'show'
command, which isn't correct for $_gdb_maint_setting, in this case I
need to use a setting from 'maintenance show'.

This same issue is present for $_gdb_maint_setting_str.

This commit fixes this minor issue.

Approved-By: Simon Marchi <simon.marchi@efficios.com>