From 1ef2138c0db3bd4f9332c777fa3fb2770dc1b08c Mon Sep 17 00:00:00 2001
From: fanquake <fanquake@gmail.com>
Date: Sun, 22 Nov 2020 11:32:55 +0800
Subject: lint: run mypy over contrib/devtools

---
 test/lint/lint-python.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/lint')

diff --git a/test/lint/lint-python.sh b/test/lint/lint-python.sh
index 4fc130497b..f83c33cb32 100755
--- a/test/lint/lint-python.sh
+++ b/test/lint/lint-python.sh
@@ -102,7 +102,7 @@ if ! PYTHONWARNINGS="ignore" flake8 --ignore=B,C,E,F,I,N,W --select=$(IFS=","; e
     EXIT_CODE=1
 fi
 
-if ! mypy --ignore-missing-imports $(git ls-files "test/functional/*.py"); then
+if ! mypy --ignore-missing-imports $(git ls-files "test/functional/*.py" "contrib/devtools/*.py"); then
     EXIT_CODE=1
 fi
 
-- 
cgit v1.2.3