mypy-run.sh 357 Bytes
Newer Older
Tomas Krizek's avatar
Tomas Krizek committed
1
#!/usr/bin/env bash
2
set -o nounset -o errexit
Tomas Krizek's avatar
Tomas Krizek committed
3 4 5 6 7 8 9 10 11 12 13
source "$(dirname "$0")/common.sh"

PYFILES=$(find . \
	-path ./.git -prune -o \
	-path ./contrib -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}