diff options
author | Tim Newsome <tim@sifive.com> | 2017-10-05 12:48:40 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-05 12:48:40 -0700 |
commit | cad03ed0e58693257176ebaf4cbb70484a44fd2e (patch) | |
tree | cdd02426a6a429c2ac5ebf4d781b3519ea0c63f4 /debug/Makefile | |
parent | 5eb2cf39af91f9d886e28175b729f02684c27df4 (diff) | |
parent | 9091137e4a4797a91179ab73886697c7fe270da2 (diff) | |
download | riscv-tests-interrupts.zip riscv-tests-interrupts.tar.gz riscv-tests-interrupts.tar.bz2 |
Merge branch 'master' into interruptsinterrupts
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 33988dd..9f7cb2e 100644 --- a/debug/Makefile +++ b/debug/Makefile @@ -6,7 +6,7 @@ GDBSERVER_PY = $(src_dir)/gdbserver.py default: spike$(XLEN)-2 -all: pylint spike32 spike64 spike32-2 spike64-2 +all: pylint spike32 spike32-2 spike32-2-rtos spike64 spike64-2 spike64-2-rtos pylint: pylint --rcfile=pylint.rc `git ls-files '*.py'` |