From b365b52416a5c3d79b96ca9401b5031db4bddba2 Mon Sep 17 00:00:00 2001 From: Scott Worley Date: Thu, 11 Jun 2020 16:21:18 -0700 Subject: [PATCH] Omit build directories from mypy run --- test.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/test.sh b/test.sh index 9485418..5df81bf 100755 --- a/test.sh +++ b/test.sh @@ -4,7 +4,8 @@ set -e PARALLELISM=4 -find . -name '*.py' -print0 | xargs -0 mypy --strict --ignore-missing-imports +find . -name build -prune -o -name dist -prune -o -name '*.py' -print0 | + xargs -0 mypy --strict --ignore-missing-imports for test in tests/*;do if [ ! -d "$test" ];then -- 2.44.1