Debug: Use the --32 and --64 command line arguments (#97)

[riscv-tests.git] / debug / Makefile

diff --git a/debug/Makefile b/debug/Makefile
index 2d8d36759d0aac813935b88d88771d9caca8ad32..9f7cb2ed19845bdcd08809fa062007dc0dd6310b 100644 (file)
--- a/debug/Makefile
+++ b/debug/Makefile
@@ -4,9 +4,9 @@ XLEN ?= 64
 src_dir ?= .
 GDBSERVER_PY = $(src_dir)/gdbserver.py
 
-default: spike$(XLEN)
+default: spike$(XLEN)-2
 
-all:   pylint spike32 spike64
+all:   pylint spike32 spike32-2 spike32-2-rtos spike64 spike64-2 spike64-2-rtos
 
 pylint:
        pylint --rcfile=pylint.rc `git ls-files '*.py'`