| commit | a1ea4cacd4ac309cdcd13184d225190c80d628ee | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Sun Dec 26 13:26:58 2021 -0700 |
| committer | Tom Tromey <tom@tromey.com> | Wed Jan 05 11:08:44 2022 -0700 |
| tree | 3f3fa1fd6b900ca571f3702e083ce5f35c9b5ad1 | |
| parent | d53fd721a18f8c827aa69ffbd15abd99641b5e20 [diff] |
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.