run-mypy.sh

#! /bin/bash

set -ex

python -m mypy pytools

python -m mypy --strict --follow-imports=silent \
    pytools/datatable.py \
    pytools/graph.py \
    pytools/persistent_dict.py \
    pytools/prefork.py \
    pytools/tag.py \