kaspar/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-30 00:41:17 +01:00
Code Releases Activity

dist/tools/openocd: Make openocd command configurable.

Browse Source
This commit is contained in:
Joakim Gebart 2015-02-17 21:52:01 +01:00
parent 6e88b4ab2d
commit b4c3f0c565
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
dist/tools/openocd/openocd.sh vendored
View File

@ -48,11 +48,16 @@ _TELNET_PORT=4444
_TCL_PORT=6333
# default path to OpenOCD configuration file
_OPENOCD_CONFIG=${RIOTBOARD}/${BOARD}/dist/openocd.cfg
# default OpenOCD command
_OPENOCD=openocd
#
# a couple of tests for certain configuration options
#
test_config() {
if [ -z ${OPENOCD} ]; then
OPENOCD=${_OPENOCD}
fi
if [ -z ${OPENOCD_CONFIG} ]; then
OPENOCD_CONFIG=${_OPENOCD_CONFIG}
fi
@ -104,7 +109,7 @@ do_flash() {
test_config
test_hexfile
# flash device
openocd -f ${OPENOCD_CONFIG} \
${OPENOCD} -f ${OPENOCD_CONFIG} \
${OPENOCD_EXTRA_INIT} \
-c "tcl_port 0" \
-c "telnet_port 0" \
@ -122,7 +127,7 @@ do_debug() {
test_ports
test_tui
# start OpenOCD as GDB server
openocd -f ${OPENOCD_CONFIG} \
${OPENOCD} -f ${OPENOCD_CONFIG} \
${OPENOCD_EXTRA_INIT} \
-c "tcl_port ${TCL_PORT}" \
-c "telnet_port ${TELNET_PORT}" \
@ -143,7 +148,7 @@ do_debugserver() {
test_config
test_ports
# start OpenOCD as GDB server
openocd -f ${OPENOCD_CONFIG} \
${OPENOCD} -f ${OPENOCD_CONFIG} \
${OPENOCD_EXTRA_INIT} \
-c "tcl_port ${TCL_PORT}" \
-c "telnet_port ${TELNET_PORT}" \
@ -156,7 +161,7 @@ do_debugserver() {
do_reset() {
test_config
# start OpenOCD and invoke board reset
openocd -f ${OPENOCD_CONFIG} \
${OPENOCD} -f ${OPENOCD_CONFIG} \
${OPENOCD_EXTRA_INIT} \
-c "tcl_port 0" \
-c "telnet_port 0" \