Fix tests to work in multi-gdb mode.
[riscv-tests.git] / debug / Makefile
index 33988dd02615fae0a40517bedc85f80f7b4a29cf..9f7cb2ed19845bdcd08809fa062007dc0dd6310b 100644 (file)
@@ -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'`