Merge pull request #3382 from daniel-k/openocd_dont_reset

openocd: don't reset cpu for target 'debug'

dist/tools/openocd/openocd.sh

@@ -199,7 +199,7 @@ do_debug() {
             -c 'gdb_port ${GDB_PORT}' \
             -c 'init' \
             -c 'targets' \
-            -c 'reset halt' \
+            -c 'halt' \
             -l /dev/null" &
     # save PID for terminating the server afterwards
     OCD_PID=$?