Document 'set|show exec-file-mismatch (ask|warn|off)'
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Sat, 21 Dec 2019 13:47:17 +0000 (14:47 +0100)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Sat, 25 Jan 2020 10:09:13 +0000 (11:09 +0100)
commite47e48f6a767bb4874be99f6854d09823cd79adc
treeba992e2a752f8229dacdd070f38ce47d68d4430c
parentb1468492c69335b023e6e4adf15ba0de0263812e
Document 'set|show exec-file-mismatch (ask|warn|off)'

Mention in NEWS the new option and the set/show commands.

Document in gdb.texinfo the new option and the set/show commands.

gdb/ChangeLog
2020-01-25  Philippe Waroquiers  <philippe.waroquiers@skynet.be>

* NEWS: Mention the new option and the set/show commands.

gdb/doc/ChangeLog
2020-01-25  Philippe Waroquiers  <philippe.waroquiers@skynet.be>

* gdb.texinfo (Attach): Document the new option and the
set/show commands.
(Connecting): Reference the exec-file-mismatch option.
gdb/ChangeLog
gdb/NEWS
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo