diff options
| author | John Whittington <git@jbrengineering.co.uk> | 2018-09-28 18:25:56 +0100 |
|---|---|---|
| committer | John Whittington <git@jbrengineering.co.uk> | 2018-09-28 18:25:56 +0100 |
| commit | 0692c13e98a43a230a4bb94b1b9a1e75e17ea2d0 (patch) | |
| tree | 92b413dec21a1cabfd838981490308e73c5f7040 | |
| parent | 22ca63614d05c8b8037cb037279ee666b5ede8c2 (diff) | |
Pass OpenOCD options to debug_init target
| -rw-r--r-- | Arduino.mk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1691,7 +1691,7 @@ else endif debug_init: - $(OPENOCD) + $(OPENOCD) $(OPENOCD_OPTS) debug: $(GDB) $(GDB_OPTS) |