diff options
Diffstat (limited to 'pre-commit.sh')
| -rwxr-xr-x | pre-commit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pre-commit.sh b/pre-commit.sh index 941879e..9b323ff 100755 --- a/pre-commit.sh +++ b/pre-commit.sh @@ -1,3 +1,3 @@ #!/bin/sh pylint simpleddns.py || exit 1 -mypy --strict simpleddns.py || exit 1 +mypy simpleddns.py || exit 1 |