diff options
author | Tom Tromey <tom@tromey.com> | 2021-12-26 13:26:58 -0700 |
---|---|---|
committer | Tom Tromey <tom@tromey.com> | 2022-01-05 11:08:44 -0700 |
commit | a1ea4cacd4ac309cdcd13184d225190c80d628ee (patch) | |
tree | 3f3fa1fd6b900ca571f3702e083ce5f35c9b5ad1 /gdb/msg.defs | |
parent | d53fd721a18f8c827aa69ffbd15abd99641b5e20 (diff) | |
download | gdb-a1ea4cacd4ac309cdcd13184d225190c80d628ee.zip gdb-a1ea4cacd4ac309cdcd13184d225190c80d628ee.tar.gz gdb-a1ea4cacd4ac309cdcd13184d225190c80d628ee.tar.bz2 |
Use filtered output for gdbarch dump
This changes gdbarch dumping to use filtered output. This seems a bit
better to me, both on the principle that this is an ordinary command,
and because the output can be voluminous, so it may be nice to stop in
the middle.
Diffstat (limited to 'gdb/msg.defs')
0 files changed, 0 insertions, 0 deletions