From: Scott Worley 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 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