17 lines
460 B
Bash
Executable file
17 lines
460 B
Bash
Executable file
#!/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
|