From eb5fcf82b0f98d1365523fb914dab0735e2af5c7 Mon Sep 17 00:00:00 2001
From: xiekeyang <xiekeyang@huawei.com>
Date: Thu, 16 Mar 2017 15:27:06 +0800
Subject: [PATCH] Extension of deadline in make lint

Signed-off-by: xiekeyang <xiekeyang@huawei.com>
---
 .tool/lint | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.tool/lint b/.tool/lint
index f2fc72c82..44fa2b26b 100755
--- a/.tool/lint
+++ b/.tool/lint
@@ -20,5 +20,5 @@ for d in $(find . -type d -not -iwholename '*.git*' -a -not -iname '.tool' -a -n
 		--disable=gas \
 		--cyclo-over=35 \
 		--tests \
-		--deadline=10s "${d}"
+		--deadline=15s "${d}"
 done