]> git.scottworley.com Git - pinch/commitdiff
Omit build directories from mypy run
authorScott Worley <scottworley@scottworley.com>
Thu, 11 Jun 2020 23:21:18 +0000 (16:21 -0700)
committerScott Worley <scottworley@scottworley.com>
Thu, 11 Jun 2020 23:29:30 +0000 (16:29 -0700)
test.sh

diff --git a/test.sh b/test.sh
index 9485418e5e9ecd33d4a7174deb255770113cf7d3..5df81bfee091044ea4d44c23627e3ab5fca8afb7 100755 (executable)
--- 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