Pylint target files as well.

This would have prevented some bugs I committed earlier.

diff --git a/debug/Makefile b/debug/Makefile
index 760a57b8990e77c81e6f00750509d063d088c4ce..90ee25c6720e369953e5f7636b74f05065687c43 100644 (file)
--- 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 f32bebc6fbd1ebbbcd828a0f7efa9d6dd48e4caf..193ea3a1d168fee583b17eca6f35616138e49c71 100644 (file)
--- 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]