X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=debug%2FMakefile;h=9f7cb2ed19845bdcd08809fa062007dc0dd6310b;hb=49fc83aa23045abee5d396ef5a9d96b80c03178d;hp=33988dd02615fae0a40517bedc85f80f7b4a29cf;hpb=b9957ef9690dc83c684e113294b068fe676b468a;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'`