diff options
Diffstat (limited to 'scripts/Makefile')
| -rw-r--r-- | scripts/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/Makefile b/scripts/Makefile new file mode 100644 index 00000000..d866ac4e --- /dev/null +++ b/scripts/Makefile @@ -0,0 +1,14 @@ +.PHONY: check format check-format check-pylint + +PYTHONFILES := $(wildcard *.py) + +check: check-pylint check-format + +format: + yapf -i $(PYTHONFILES) + +check-format: + yapf -d $(PYTHONFILES) + +check-pylint: + pylint --rcfile=.pylint.rc -j 0 $(PYTHONFILES) || ./tools/check-pylint $$? |