adds makefile target for pytype

81d34ece · Jonas Kaufmann · Antoine Kaufmann · f75ee1fd · 81d34ece · 81d34ece
Commit 81d34ece authored Jun 17, 2022 by Jonas Kaufmann Committed by Antoine Kaufmann Jul 08, 2022
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 1 deletion

.gitignore .gitignore +1 -0

Makefile Makefile +1 -1

experiments/rules.mk experiments/rules.mk +3 -0

No files found.
--- a/.gitignore
+++ b/.gitignore
@@ -39,3 +39,4 @@ dist/rdma/net_rdma
 dist/sockets/net_sockets
 trace/process
 mk/local.mk
+.eggs
--- a/Makefile
+++ b/Makefile
@@ -72,7 +72,7 @@ lint-clang-format:
 	$(CLANG_FORMAT) --dry-run --style=file `cat .lint-files`

 lint: lint-cpplint lint-clang-format lint-python
-lint-all: lint lint-clang-tidy
+lint-all: lint lint-clang-tidy typecheck-python

 help:
 	@echo "Targets:"

--- a/experiments/rules.mk
+++ b/experiments/rules.mk
@@ -25,4 +25,7 @@ include mk/subdir_pre.mk
 lint-python:
 	pylint experiments

+typecheck-python:
+	pytype -j 0 --keep-going --exclude "**/ae/*" -- experiments/
+
 include mk/subdir_post.mk