tree f8418e7af4415599c1bf09bbdc9d6fcf05527b5e
parent 9b2234b063eb8e08be1fccc7d830fb7065cd06ae
author Tom Tromey <tom@tromey.com> 1674683712 -0700
committer Tom Tromey <tom@tromey.com> 1674782912 -0700

Use clean_restart in gdb.base

Change gdb.base to use clean_restart more consistently.