aboutsummaryrefslogtreecommitdiff
path: root/debug/Makefile
diff options
context:
space:
mode:
authorTim Newsome <tim@sifive.com>2017-08-10 13:30:37 -0700
committerTim Newsome <tim@sifive.com>2017-08-10 13:30:37 -0700
commitd97ba09c601887c57e9ec37234fe76346b25b16d (patch)
tree6fc2c743bb312a6af5893e05c8d307bf57fa0243 /debug/Makefile
parentd44ebb21c0131c661575539771a1d97fc9afa4c1 (diff)
downloadriscv-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/Makefile2
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) \