Alexandre Abadie bd081cd980

tools/openocd: remove default OPENOCD_CONFIG value ...

The default value is already set in openocd.inc.mk

2020-02-24 10:04:11 +01:00

..

flasher.sh

tools/openocd: remove default OPENOCD_CONFIG value

2020-02-24 10:04:11 +01:00

openocd.cfg

boards/hifive1: add and use custom openocd reset command

2019-03-12 11:49:02 +01:00