diff --git a/Makefile b/Makefile index 09b5609a..7814a932 100644 --- a/Makefile +++ b/Makefile @@ -114,4 +114,4 @@ test-cfg: .PHONY: python-lint python-lint: - mypy --strict util + $(MAKE) -C util lint diff --git a/util/Makefile b/util/Makefile new file mode 100644 index 00000000..14e8b11b --- /dev/null +++ b/util/Makefile @@ -0,0 +1,3 @@ +.PHONY: lint +lint: + mypy --strict sv2v_in_place.py