From 5ed65989edf2afa229edae55afe61487dafe08cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Wed, 17 Jul 2019 15:28:33 +0200
Subject: [PATCH] dist/jlink.sh: Allow overwriting the 'reset' commands

Add a variable to configure the reset commands.
This is required for board that need a hardware reset.
---
 dist/tools/jlink/jlink.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/dist/tools/jlink/jlink.sh b/dist/tools/jlink/jlink.sh
index b48015b982..8783f529af 100755
--- a/dist/tools/jlink/jlink.sh
+++ b/dist/tools/jlink/jlink.sh
@@ -54,6 +54,8 @@
 
 # Set IMAGE_OFFSET to zero by default.
 : ${IMAGE_OFFSET:=0}
+# Allow overwriting the reset commands.
+: ${JLINK_RESET_FILE:=${RIOTTOOLS}/jlink/reset.seg}
 
 # default GDB port
 _GDB_PORT=3333
@@ -167,7 +169,7 @@ do_flash() {
     if [ ! -z "${JLINK_POST_FLASH}" ]; then
         printf "${JLINK_POST_FLASH}\n" >> ${BINDIR}/burn.seg
     fi
-    cat ${RIOTTOOLS}/jlink/reset.seg >> ${BINDIR}/burn.seg
+    cat ${JLINK_RESET_FILE} >> ${BINDIR}/burn.seg
     # flash device
     sh -c "${JLINK} ${JLINK_SERIAL} \
                     -ExitOnError 1 \
@@ -224,7 +226,7 @@ do_reset() {
                     -speed '${JLINK_SPEED}' \
                     -if '${JLINK_IF}' \
                     -jtagconf -1,-1 \
-                    -commandfile '${RIOTTOOLS}/jlink/reset.seg'"
+                    -commandfile '${JLINK_RESET_FILE}'"
 }
 
 do_term() {