From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Mon, 15 May 2017 22:35:17 +0000 (-0700)
Subject: Don't build openocd here, it's in riscv-tools now
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=26b288f1ef047a0dc76dfdb7f69d44e17ecb4ce7;p=riscv-tests.git

Don't build openocd here, it's in riscv-tools now
---

diff --git a/debug/Makefile b/debug/Makefile
index 1ea5752..98330b5 100644
--- a/debug/Makefile
+++ b/debug/Makefile
@@ -12,7 +12,11 @@ pylint:
 	pylint --rcfile=pylint.rc *.py
 
 %.log:
-	$(GDBSERVER_PY) --isolate --$(subst .log,,$@) --sim_cmd $(RISCV)/bin/$(RISCV_SIM) \
+	$(GDBSERVER_PY) \
+		--isolate \
+		--$(subst .log,,$@) \
+		--sim_cmd $(RISCV)/bin/$(RISCV_SIM) \
+		--server_cmd openocd \
 	    > $@ 2>&1 || (sed s/^/$@:\ / $@ && false)
 
 clean: