tree 442fbebeea5a6580679cdb5677ff3b65679eeb36
parent 5bbb505fab9427c1df6f6071337090d769028168
author Guillaume Chatelet <gchatelet@google.com> 1610546796 +0000
committer Copybara-Service <copybara-worker@google.com> 1610577379 -0800

[libc] Refresh benchmark progress bar when needed.

GitOrigin-RevId: ab577807165c45abfbadc117125ec7275cdcc0cf