From 26b288f1ef047a0dc76dfdb7f69d44e17ecb4ce7 Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Mon, 15 May 2017 15:35:17 -0700
Subject: [PATCH] Don't build openocd here, it's in riscv-tools now

---
 debug/Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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:
-- 
2.30.2