X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=debug%2FMakefile;h=48be07c45ae7663ffa4733cedca7393dedce9ac4;hb=fc3d7e8196dfb567a9b6c34dd97c1b43260b4cd5;hp=33988dd02615fae0a40517bedc85f80f7b4a29cf;hpb=3a44725d27f6b2c77f0ca912d792b6856fde6a17;p=riscv-tests.git

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