mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
tools/openocd: remove default OPENOCD_CONFIG value
The default value is already set in openocd.inc.mk
This commit is contained in:
parent
03f4d383db
commit
bd081cd980
2
boards/hifive1/dist/flasher.sh
vendored
2
boards/hifive1/dist/flasher.sh
vendored
@ -35,8 +35,6 @@
|
||||
# @author Hauke Peteresen <hauke.petersen@fu-berlin.de>
|
||||
# @author Joakim Nohlgård <joakim.nohlgard@eistec.se>
|
||||
|
||||
# Default path to OpenOCD configuration file
|
||||
: ${OPENOCD_CONFIG:=${RIOTBOARD}/${BOARD}/dist/openocd.cfg}
|
||||
# Default OpenOCD command
|
||||
: ${OPENOCD:=openocd}
|
||||
# This is an optional offset to the base address that can be used to flash an
|
||||
|
2
dist/tools/openocd/openocd.sh
vendored
2
dist/tools/openocd/openocd.sh
vendored
@ -65,8 +65,6 @@
|
||||
: ${TELNET_PORT:=4444}
|
||||
# Default TCL port, set to 0 to disable
|
||||
: ${TCL_PORT:=6333}
|
||||
# Default path to OpenOCD configuration file
|
||||
: ${OPENOCD_CONFIG:=${BOARDSDIR}/${BOARD}/dist/openocd.cfg}
|
||||
# Default OpenOCD command
|
||||
: ${OPENOCD:=openocd}
|
||||
# Extra board initialization commands to pass to OpenOCD
|
||||
|
Loading…
Reference in New Issue
Block a user