diff options
Diffstat (limited to 'debug/Makefile')
| -rw-r--r-- | debug/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/Makefile b/debug/Makefile index 8e1c81b..48be07c 100644 --- a/debug/Makefile +++ b/debug/Makefile @@ -4,7 +4,7 @@ XLEN ?= 64 src_dir ?= . GDBSERVER_PY = $(src_dir)/gdbserver.py -default: spike$(XLEN)-2 +default: spike$(XLEN) spike$(XLEN)-2 all-tests: spike32 spike32-2 spike32-2-rtos spike64 spike64-2 spike64-2-rtos |