From 34541a5e0e263e6c0b62f2d05f8e37cb20d02073 Mon Sep 17 00:00:00 2001
From: Hauke Petersen <hauke.petersen@fu-berlin.de>
Date: Thu, 19 Feb 2015 16:59:03 +0100
Subject: [PATCH] squash: work-around for wrong openocd return value

---
 dist/tools/openocd/openocd.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dist/tools/openocd/openocd.sh b/dist/tools/openocd/openocd.sh
index 269848528469..72b4a13e773d 100755
--- a/dist/tools/openocd/openocd.sh
+++ b/dist/tools/openocd/openocd.sh
@@ -127,6 +127,7 @@ do_flash() {
             -c "program ${HEXFILE} verify" \
             -c "reset run" \
             -c "shutdown"
+    echo "Done flashing"
 }
 
 do_debug() {