Pylint target files as well.

[riscv-tests.git] / debug / Makefile

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) \