blob: 1abfef145dfdc1da24969ddeb5e375269af0c7bc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/usr/bin/env bash
set -o nounset -o errexit
source "$(dirname "$0")/common.sh"
PYFILES=$(find . \
-path ./.git -prune -o \
-path ./contrib -o \
-path ./tools -prune -o \
-type d -exec test -e '{}/__init__.py' \; -print -prune -o \
-name '*.py' -print -o \
-type f -exec grep -qsm1 '^#!.*\bpython' '{}' \; -print)
set -e
${PYTHON} -m mypy --ignore-missing-imports ${PYFILES}
# tools
${PYTHON} -m mypy --ignore-missing-imports tools
|
