From f23e837c57fba0de2412f1b459fc8e172ca5aa30 Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Mon, 15 May 2017 16:27:30 -0700
Subject: [PATCH] Have the openocd invocation match the spike invocation

---
 debug/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debug/Makefile b/debug/Makefile
index 98330b5..5726883 100644
--- a/debug/Makefile
+++ b/debug/Makefile
@@ -16,7 +16,7 @@ pylint:
 		--isolate \
 		--$(subst .log,,$@) \
 		--sim_cmd $(RISCV)/bin/$(RISCV_SIM) \
-		--server_cmd openocd \
+		--server_cmd $(RISCV)/bin/openocd \
 	    > $@ 2>&1 || (sed s/^/$@:\ / $@ && false)
 
 clean:
-- 
2.30.2