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