diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/user/manager-client.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/user/manager-client.rst b/doc/user/manager-client.rst index 03a2d9eb..7d43a07f 100644 --- a/doc/user/manager-client.rst +++ b/doc/user/manager-client.rst @@ -382,6 +382,11 @@ single ``kresctl`` command. Use a custom GDB executable. This may be a command on ``PATH``, or an absolute path to an executable. + .. option:: --print-only + + Prints the GDB command line into ``stderr`` as a Python array, does not + execute GDB. + .. _manager-client-subprocess-types: |