X-Git-Url: https://git.libre-soc.org/?p=riscv-tests.git;a=blobdiff_plain;f=debug%2FMakefile;h=4378aab1e4cea5772e7bd7cc842a2f877ee263d9;hp=086cfb995894adca2206947d0b830151d95bdfa3;hb=ce10cc711f00df9fc97df39094c1cddd49ae212e;hpb=d2aeeedd0727804bf3a7d07b5efb4d00b67f0f33

diff --git a/debug/Makefile b/debug/Makefile
index 086cfb9..4378aab 100644
--- a/debug/Makefile
+++ b/debug/Makefile
@@ -6,11 +6,14 @@ GDBSERVER_PY = $(src_dir)/gdbserver.py
 
 default:	spike$(XLEN).log
 
-all:	spike32.log spike64.log
+all:	pylint spike32.log spike64.log
+
+pylint:
+	pylint --rcfile=pylint.rc *.py
 
 %.log:
-	$(GDBSERVER_PY) --isolate --$(subst .log,,$@) --cmd $(RISCV_SIM) -- -v \
-	    > $@ 2>&1 || sed s/^/$@:\ / $@
+	$(GDBSERVER_PY) --isolate --$(subst .log,,$@) --cmd $(RISCV_SIM) \
+	    > $@ 2>&1 || (sed s/^/$@:\ / $@ && false)
 
 clean:
 	rm -f *.log