tree 9a7fe3bec7cc13c4af9845064a52ca6c12805304
parent eed5f59c8c7630787196f09d612456e877ffca65
author Tom Tromey <tromey@adacore.com> 1706030733 -0700
committer Tom Tromey <tromey@adacore.com> 1707759741 -0700

Clean up suppress_new_breakpoint_event

Kévin pointed out that suppress_new_breakpoint_event would do the
wrong thing if it happened to be used reentrantly.  While I don't
think this can happen, it's also easy and clearly better to make it
robust.