bump env
[riscv-tests.git] / debug / Makefile
index 9f7cb2ed19845bdcd08809fa062007dc0dd6310b..48be07c45ae7663ffa4733cedca7393dedce9ac4 100644 (file)
@@ -4,9 +4,11 @@ XLEN ?= 64
 src_dir ?= .
 GDBSERVER_PY = $(src_dir)/gdbserver.py
 
-default: spike$(XLEN)-2
+default: spike$(XLEN) spike$(XLEN)-2
 
-all:   pylint spike32 spike32-2 spike32-2-rtos spike64 spike64-2 spike64-2-rtos
+all-tests: spike32 spike32-2 spike32-2-rtos spike64 spike64-2 spike64-2-rtos
+
+all:   pylint all-tests
 
 pylint:
        pylint --rcfile=pylint.rc `git ls-files '*.py'`