1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/dist/tools/openocd
Joakim Gebart f10c1f94d8 dist/tools/openocd: Replace OPENOCD_EXTRA_INIT with command line arguments
OPENOCD_EXTRA_INIT did not work for quoted arguments or openocd commands which require arguments.
2015-02-23 10:57:24 +01:00
..
openocd.sh dist/tools/openocd: Replace OPENOCD_EXTRA_INIT with command line arguments 2015-02-23 10:57:24 +01:00