X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=debug%2FMakefile;h=8e1c81b6bf67d2ab2673bbfedbf206675a16e2e0;hb=ffa920340430f62e767fb2397f4ee41ffaf441ce;hp=9f7cb2ed19845bdcd08809fa062007dc0dd6310b;hpb=49fc83aa23045abee5d396ef5a9d96b80c03178d;p=riscv-tests.git

diff --git a/debug/Makefile b/debug/Makefile
index 9f7cb2e..8e1c81b 100644
--- a/debug/Makefile
+++ b/debug/Makefile
@@ -6,7 +6,9 @@ GDBSERVER_PY = $(src_dir)/gdbserver.py
 
 default: 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'`