diff --git a/hack/make-rules/verify.sh b/hack/make-rules/verify.sh index 1560985a8d4..4e4b5e75a5a 100755 --- a/hack/make-rules/verify.sh +++ b/hack/make-rules/verify.sh @@ -71,6 +71,7 @@ function run-checks { done } +SILENT=true while getopts ":v" opt; do case ${opt} in v)