From bd081cd9809169b945fe8ac8aac9ffab728abe23 Mon Sep 17 00:00:00 2001 From: Alexandre Abadie Date: Sat, 22 Feb 2020 11:32:36 +0100 Subject: [PATCH] tools/openocd: remove default OPENOCD_CONFIG value The default value is already set in openocd.inc.mk --- boards/hifive1/dist/flasher.sh | 2 -- dist/tools/openocd/openocd.sh | 2 -- 2 files changed, 4 deletions(-) diff --git a/boards/hifive1/dist/flasher.sh b/boards/hifive1/dist/flasher.sh index 1f73cea801..8852179f59 100755 --- a/boards/hifive1/dist/flasher.sh +++ b/boards/hifive1/dist/flasher.sh @@ -35,8 +35,6 @@ # @author Hauke Peteresen # @author Joakim Nohlgård -# 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 diff --git a/dist/tools/openocd/openocd.sh b/dist/tools/openocd/openocd.sh index 19ee9065ca..8f0155102e 100755 --- a/dist/tools/openocd/openocd.sh +++ b/dist/tools/openocd/openocd.sh @@ -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