diff options
| author | Tim Newsome <tim@sifive.com> | 2017-08-10 13:30:37 -0700 |
|---|---|---|
| committer | Tim Newsome <tim@sifive.com> | 2017-08-10 13:30:37 -0700 |
| commit | d97ba09c601887c57e9ec37234fe76346b25b16d (patch) | |
| tree | 6fc2c743bb312a6af5893e05c8d307bf57fa0243 | |
| parent | d44ebb21c0131c661575539771a1d97fc9afa4c1 (diff) | |
| download | riscv-tests-d97ba09c601887c57e9ec37234fe76346b25b16d.zip riscv-tests-d97ba09c601887c57e9ec37234fe76346b25b16d.tar.gz riscv-tests-d97ba09c601887c57e9ec37234fe76346b25b16d.tar.bz2 | |
Pylint target files as well.
This would have prevented some bugs I committed earlier.
| -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] |