typecheck.sh: deduplicate files

This commit is contained in:
InsanePrawn 2022-07-15 06:09:55 +02:00
parent 1ee38a3fb4
commit 882e95b823

View file

@ -1,2 +1,2 @@
#!/bin/bash
git ls-files \*.py | xargs mypy --pretty --install-types --ignore-missing-imports "$@"
git ls-files \*.py | sort -u | xargs mypy --pretty --install-types --ignore-missing-imports "$@"