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 /debug/Makefile | |
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.
Diffstat (limited to 'debug/Makefile')
-rw-r--r-- | debug/Makefile | 2 |
1 files changed, 1 insertions, 1 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) \ |