Make ui_out::do_progress_end 'private'
authorTom Tromey <tromey@adacore.com>
Thu, 16 Mar 2023 16:12:17 +0000 (10:12 -0600)
committerTom Tromey <tromey@adacore.com>
Mon, 20 Mar 2023 13:21:03 +0000 (07:21 -0600)
commit0fea10f327466dbe949aef39cef5a6bdea91163f
tree856ea4c65cf04fcb4c8f9e59a117511314f01843
parent442716d400655e252f3faf93ae17ec410e73869d
Make ui_out::do_progress_end 'private'

I noticed that ui_out::do_progress_end is public, just to support one
use in debuginfod-support.c.  This patch makes it private, updates
progress_info to call it from its destructor, and finally changes
debuginfod-support.c to follow.
gdb/debuginfod-support.c
gdb/ui-out.h