From 96cb7f293d7ddc65e504bd8a4ccc131d77356cd5 Mon Sep 17 00:00:00 2001
From: Cao Shufeng <caosf.fnst@cn.fujitsu.com>
Date: Sat, 27 Jan 2018 11:26:11 +0800
Subject: [PATCH] fix `make quick-verify`

---
 build/root/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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