Improve progress bar 'experience'

This commit is contained in:
sharkdp committed 2018-12-12 19:45:15 +01:00
1 parent 266105b52c
commit 51fe31e7d2
1 file changed
+2 -1
+2 -1
View File
@@ -258,7 +258,8 @@ pub fn run_benchmark(
all_succeeded = all_succeeded && success;
// Re-configure the progress bar
progress_bar.set_length(count_remaining);
progress_bar.set_length(count);
progress_bar.inc(1);
// Gather statistics
for _ in 0..count_remaining {