diff options
| -rw-r--r-- | Makefile | 3 | ||||
| -rw-r--r-- | debian/control | 1 |
2 files changed, 3 insertions, 1 deletions
@@ -9,10 +9,11 @@ all: $(MANPAGES) $(COMPLETIONS) check: ./tests/email-print-mime-structure.sh + mypy --strict ./email-print-mime-structure clean: rm -f $(MANPAGES) - rm -rf completions + rm -rf completions .mypy_cache %.1: %.1.pod pod2man --section=1 --date="Debian Project" --center="User Commands" \ diff --git a/debian/control b/debian/control index 0ef1ece..2e96d3e 100644 --- a/debian/control +++ b/debian/control @@ -10,6 +10,7 @@ Build-Depends: diffutils <!nocheck>, gpg <!nocheck>, gpg-agent <!nocheck>, + mypy <!nocheck>, perl, python3 <!nocheck>, python3-argcomplete, |