From 2b8c9a1cff18e01f67686505c0bdf54c7c826f2d Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sat, 1 Nov 2025 14:18:11 -0400 Subject: [PATCH] Internals: Remove mis-merged duplicate Makefile targets --- Makefile.in | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/Makefile.in b/Makefile.in index 30352cc63..a1ec1d163 100644 --- a/Makefile.in +++ b/Makefile.in @@ -570,17 +570,6 @@ lint-py-mypy: echo "$(MYPY) $(MYPY_FLAGS) $$filename" ; \ $(MYPY) $(MYPY_FLAGS) $$filename ; \ done - @echo "Not mypy checked: " `fgrep -L '# mypy' $(PY_PROGRAMS)` - -lint-py-mypy-none: - @echo "mypy not checking: " `fgrep -L '# mypy' $(PY_PROGRAMS)` - -lint-py-mypy: - for filename in `fgrep -l '# mypy' $(PY_PROGRAMS)`; do \ - echo "$(MYPY) $(MYPY_FLAGS) $$filename" ; \ - $(MYPY) $(MYPY_FLAGS) $$filename ; \ - done - @echo "Not mypy checked: " `fgrep -L '# mypy' $(PY_PROGRAMS)` lint-py-mypy-none: @echo "mypy not checking: " `fgrep -L '# mypy' $(PY_PROGRAMS)`