X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=debug%2FMakefile;h=8e1c81b6bf67d2ab2673bbfedbf206675a16e2e0;hb=ffa920340430f62e767fb2397f4ee41ffaf441ce;hp=2d8d36759d0aac813935b88d88771d9caca8ad32;hpb=e31bdb1d210ed0f6f87a578bf16c97a94be192c4;p=riscv-tests.git

diff --git a/debug/Makefile b/debug/Makefile
index 2d8d367..8e1c81b 100644
--- a/debug/Makefile
+++ b/debug/Makefile
@@ -4,9 +4,11 @@ XLEN ?= 64
 src_dir ?= .
 GDBSERVER_PY = $(src_dir)/gdbserver.py
 
-default: spike$(XLEN)
+default: spike$(XLEN)-2
 
-all:	pylint spike32 spike64
+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'`