From a5f84eecc4f7ffc698d57724f49d6aa8ce996e5c Mon Sep 17 00:00:00 2001 From: Palmer Dabbelt Date: Fri, 3 Mar 2017 15:13:11 -0800 Subject: Resurrect spike debug support --- debug/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debug/Makefile') diff --git a/debug/Makefile b/debug/Makefile index 56db731..79e89cb 100644 --- a/debug/Makefile +++ b/debug/Makefile @@ -12,7 +12,7 @@ pylint: pylint --rcfile=pylint.rc *.py %.log: - $(GDBSERVER_PY) --isolate --$(subst .log,,$@) --cmd $(RISCV_SIM) \ + $(GDBSERVER_PY) --isolate --$(subst .log,,$@) \ > $@ 2>&1 || (sed s/^/$@:\ / $@ && false) clean: -- cgit v1.1