Omit build directories from mypy run

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
 
 
 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
 
 for test in tests/*;do
   if [ ! -d "$test" ];then