diff --git a/build/root/Makefile b/build/root/Makefile index ab323776d72..3f5f7450776 100644 --- a/build/root/Makefile +++ b/build/root/Makefile @@ -138,7 +138,7 @@ quick-verify: @echo "$$QUICK_VERIFY_HELP_INFO" else quick-verify: verify_generated_files - hack/make-rules/verify.sh -v -Q + QUICK=true SILENT=false hack/make-rules/verify.sh endif define UPDATE_HELP_INFO