| commit | a7e727aea73a6aef4b7fef4cf8fb958f3438d84d | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Wed Jan 25 10:18:01 2023 -0700 |
| committer | Tom Tromey <tom@tromey.com> | Thu Jan 26 18:28:31 2023 -0700 |
| tree | 16a5ab7669c756ffd80c14519fda90432702f9ef | |
| parent | 49e118b61f07812235faec67cc783a0e866c3ff8 [diff] |
Use clean_restart in gdb.trace Change gdb.trace to use clean_restart more consistently.