From 7b0fd6d0c725e30cdf0981a3e13717acf834e916 Mon Sep 17 00:00:00 2001
From: Greg Price <greg@zulip.com>
Date: Mon, 2 Oct 2023 16:34:36 -0700
Subject: [PATCH] tone down build_runner verbosity

---
 tools/check | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/check b/tools/check
index d866b95441..0d05188cd9 100755
--- a/tools/check
+++ b/tools/check
@@ -233,7 +233,8 @@ run_build_runner() {
         dart run build_runner build --delete-conflicting-outputs
     )
     if [ -n "${opt_verbose}" ]; then
-        "${build_runner_cmd[@]}" --verbose \
+        # No --verbose needed; build_runner is verbose enough by default.
+        "${build_runner_cmd[@]}" \
         || return
     else
         # build_runner lacks a --quiet, and is fairly verbose to begin with.