diff --git a/MYPY b/MYPY new file mode 100755 index 00000000..e389c214 --- /dev/null +++ b/MYPY @@ -0,0 +1,8 @@ +#!/bin/sh + +EXTRA="--follow-imports skip" # for now + +export PATH=$PATH:~/.local/bin +# XXX ocperf, models, interval*, tl-* +exec mypy --check-untyped-defs $EXTRA toplev.py tl_output.py tl_io.py tl_cpu.py tl_stat.py tl_uval.py +