Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Here's a new take at allowing a build to disable the progress meter. The previous attempt was reverted in #3928 due to regressions.
My plan is to take the bug report from #3927 and make a test case out of it to verify that this PR doesn't break existing functionality (in the same way) before I merge.