diff options
-rw-r--r-- | debug/Makefile | 2 | ||||
-rw-r--r-- | debug/pylint.rc | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/debug/Makefile b/debug/Makefile index 760a57b..90ee25c 100644 --- a/debug/Makefile +++ b/debug/Makefile @@ -9,7 +9,7 @@ default: spike$(XLEN).log all: pylint spike32.log spike64.log pylint: - pylint --rcfile=pylint.rc *.py + pylint --rcfile=pylint.rc `git ls-files '*.py'` %.log: $(GDBSERVER_PY) \ diff --git a/debug/pylint.rc b/debug/pylint.rc index f32bebc..193ea3a 100644 --- a/debug/pylint.rc +++ b/debug/pylint.rc @@ -48,7 +48,7 @@ extension-pkg-whitelist= # no Warning level messages displayed, use"--disable=all --enable=classes # --disable=W" disable=bad-continuation, missing-docstring, invalid-name, locally-disabled, - too-few-public-methods, too-many-arguments, fixme + too-few-public-methods, too-many-arguments, fixme, duplicate-code [REPORTS] |