Improve "set scheduler-locking" documentation
authorPedro Alves <pedro@palves.net>
Tue, 30 Nov 2021 19:52:11 +0000 (19:52 +0000)
committerPedro Alves <pedro@palves.net>
Tue, 12 Jul 2022 17:11:29 +0000 (18:11 +0100)
commitd21d919bc1d75f89140218f0d5702d0afff41209
tree023099487c0398411c7a8eefc669dcb5b315512c
parent3da5576c911a0f3fc608471f1486dc6db11052ef
Improve "set scheduler-locking" documentation

This improves the "set scheduler-locking" documentation in the GDB
manual:

 - Use a table to describe the four available modes.

 - Describe "step" in terms of "on" and "off".

 - Tweak the "replay" mode's description to describe replay first
   instead of recording, and also mention how the mode behaves during
   normal execution.

 - Say what is the default mode.

Change-Id: Ie12140138b37534b7fc1d904da34f0f174aa11ce
gdb/doc/gdb.texinfo