From 0692c13e98a43a230a4bb94b1b9a1e75e17ea2d0 Mon Sep 17 00:00:00 2001
From: John Whittington <git@jbrengineering.co.uk>
Date: Fri, 28 Sep 2018 18:25:56 +0100
Subject: [PATCH] Pass OpenOCD options to debug_init target

---
 Arduino.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Arduino.mk b/Arduino.mk
index fa82b0ea..e23a7bc2 100644
--- a/Arduino.mk
+++ b/Arduino.mk
@@ -1691,7 +1691,7 @@ else
 endif
 
 debug_init:
-	$(OPENOCD)
+	$(OPENOCD) $(OPENOCD_OPTS)
 
 debug:
 	$(GDB) $(GDB_OPTS)