From: Scott Worley <scottworley@scottworley.com>
Date: Thu, 11 Jun 2020 23:21:18 +0000 (-0700)
Subject: Omit build directories from mypy run
X-Git-Tag: 1.4~1
X-Git-Url: http://git.scottworley.com/pinch/commitdiff_plain/b365b52416a5c3d79b96ca9401b5031db4bddba2?ds=sidebyside;hp=b5964ec35e259f36550d6e8c7fa60412db05a049

Omit build directories from mypy run
---

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