diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -7,4 +7,7 @@ test-plots: test-all: nose2 -v -.PHONY: test test-plots test-all
\ No newline at end of file +typecheck: + mypy -p pyecsca --ignore-missing-imports + +.PHONY: test test-plots test-all typecheck
\ No newline at end of file |
