From 8601285b13d3ce4c7c725c6511b5faab4e3b7c97 Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Thu, 30 Apr 2015 21:22:37 +0200
Subject: [PATCH] openocd: return error if flashing went wrong

---
 dist/tools/openocd/openocd.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dist/tools/openocd/openocd.sh b/dist/tools/openocd/openocd.sh
index 41a3ec94d7..d44eab2085 100755
--- a/dist/tools/openocd/openocd.sh
+++ b/dist/tools/openocd/openocd.sh
@@ -152,7 +152,7 @@ do_flash() {
             ${OPENOCD_PRE_VERIFY_CMDS} \
             -c 'verify_image \"${HEXFILE}\"' \
             -c 'reset run' \
-            -c 'shutdown'"
+            -c 'shutdown'" &&
     echo 'Done flashing'
 }
 
@@ -182,7 +182,7 @@ do_flash_elf() {
             ${OPENOCD_PRE_VERIFY_CMDS} \
             -c 'verify_image \"${ELFFILE}\"' \
             -c 'reset run' \
-            -c 'shutdown'"
+            -c 'shutdown'" &&
     echo 'Done flashing'
 }