X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=debug%2FMakefile;h=9f7cb2ed19845bdcd08809fa062007dc0dd6310b;hb=452853f0f96be65cde0900265b654c01b35f321d;hp=33988dd02615fae0a40517bedc85f80f7b4a29cf;hpb=7ab046f286a5356049221946dea36ee755a13346;p=riscv-tests.git

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'`