diff options
| -rw-r--r-- | debug/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/debug/Makefile b/debug/Makefile index 9f7cb2e..8e1c81b 100644 --- a/debug/Makefile +++ b/debug/Makefile @@ -6,7 +6,9 @@ GDBSERVER_PY = $(src_dir)/gdbserver.py default: spike$(XLEN)-2 -all: pylint spike32 spike32-2 spike32-2-rtos spike64 spike64-2 spike64-2-rtos +all-tests: spike32 spike32-2 spike32-2-rtos spike64 spike64-2 spike64-2-rtos + +all: pylint all-tests pylint: pylint --rcfile=pylint.rc `git ls-files '*.py'` |